mirror of
https://github.com/YosysHQ/yosys
synced 2025-10-20 14:20:32 +00:00
8 lines
243 B
Text
8 lines
243 B
Text
read_verilog -formal lcov.v
|
|
prep -top top
|
|
async2sync
|
|
chformal -lower
|
|
select -set covered t:$assert %ci*
|
|
select -set irrelevant o:* %ci* %n
|
|
linecoverage -lcov lcov.out @covered @irrelevant %u
|
|
exec -expect-return 0 -- diff -q lcov.out lcov.gold
|