22 lines
266 B
Plaintext
22 lines
266 B
Plaintext
[tasks]
|
|
bmc d_12
|
|
cover d_120
|
|
prove d_4
|
|
|
|
[options]
|
|
bmc:mode bmc
|
|
cover:mode cover
|
|
prove:mode prove
|
|
d_120:depth 120
|
|
d_12:depth 12
|
|
d_4:depth 4
|
|
|
|
[engines]
|
|
smtbmc
|
|
|
|
[script]
|
|
ghdl -fpsl --std=08 -gformal=true counter.vhd -e counter
|
|
prep -top counter
|
|
|
|
[files]
|
|
RTL/counter.vhd |