search

chipsalliance / rocket-chip

Rocket Chip Generator
Other
3.1k stars 1.1k forks source link

the usage of cover and cover point, and how to coordinate with backend. #3643

Open zhao-denghui opened 1 month ago

zhao-denghui commented 1 month ago

Hi, There is ccover invoked in ICache, DCache, TLB, and PTW of Rocket-Chip. The purpose of these is to generate cover-points for verification. But these points did not generate. Is there any method to generate the coverage file? In a word, I want to know the usage of cover and cover point, and how to coordinate with backend. I'll be appreciate if someone can help me.

sequencer commented 1 month ago

cover should be migrate to the new world LTL landed in Chisel6, but we current don't have enough resource to sort it out.