fetch.sby

[tasks]
cover
prove

[options]
cover: mode cover
cover: depth 10
prove: mode prove
prove: depth 12

[engines]
smtbmc

[script]
ghdl --std=08 fetch.vhd one_stage_buffer.vhd fetch.psl -e fetch
prep -top fetch

[files]
fetch.vhd
fetch.psl
../one_stage_buffer/one_stage_buffer.vhd