mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-10-30 19:22:31 +00:00
Code Activity

update test to use suggested selection for assertions

Browse source
This commit is contained in:
N. Engelhardt 2025-07-01 11:33:03 +02:00
parent ef3f541501
commit 8a4f465143
3 changed files with 12 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

3
tests/various/lcov.gold
View file

@ -38,6 +38,7 @@ DA:48,0
DA:49,0 DA:49,0
DA:52,1 DA:52,1
DA:53,0 DA:53,0
LF:39 DA:56,1
LF:40
LH:24 LH:24
end_of_record end_of_record

4
tests/various/lcov.v
View file

@ -52,4 +52,8 @@ module top (
assign out1 = cone1_3 | (reg1 ^ 8'hA5); assign out1 = cone1_3 | (reg1 ^ 8'hA5);
assign out2 = cone2_3 & (reg3 | 8'h5A); assign out2 = cone2_3 & (reg3 | 8'h5A);
always @(posedge clk) begin
assert (out1 == 8'h42);
end
endmodule endmodule

8
tests/various/lcov.ys
View file

@ -1,4 +1,8 @@
read_verilog lcov.v read_verilog -formal lcov.v
prep -top top prep -top top
linecoverage -lcov lcov.out o:\out1 %ci* 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 exec -expect-return 0 -- diff -q lcov.out lcov.gold