dv/formal/simple_alu/simple_alu.sby


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22

[tasks]
bmc
cover

[options]
bmc: mode bmc
cover: mode cover
depth 100

[engines]
smtbmc

[script]
read -formal -sv simple_alu.sv
read -formal -sv simple_alu_fv.sv
read -formal -sv simple_alu_top_fv.sv
prep -top simple_alu_top_fv

[files]
rtl/simple_alu.sv
dv/formal/simple_alu/simple_alu_fv.sv
dv/formal/simple_alu/simple_alu_top_fv.sv