projects
/
SymbiYosys.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
53747ba8e9b9a767f3d3551c7b70718513a39564
[SymbiYosys.git]
/
tests
/
junit_cover.sby
1
[tasks]
2
pass
3
uncovered fail
4
assert fail
5
preunsat
6
7
[options]
8
mode cover
9
depth 1
10
11
pass: expect pass
12
fail: expect fail
13
preunsat: expect fail
14
15
[engines]
16
smtbmc boolector
17
18
[script]
19
uncovered: read -define FAIL
20
assert: read -define FAIL_ASSERT
21
preunsat: read -define PREUNSAT
22
read -sv test.sv
23
prep -top top
24
25
[file test.sv]
26
module test(input foo);
27
`ifdef PREUNSAT
28
always @* assume(!foo);
29
`endif
30
always @* cover(foo);
31
`ifdef FAIL
32
always @* cover(!foo);
33
`endif
34
`ifdef FAIL_ASSERT
35
always @* assert(!foo);
36
`endif
37
endmodule
38
39
module top();
40
test test_i (
41
.foo(1'b1)
42
);
43
endmodule