avm_pause.sby

[tasks]
bmc

[options]
bmc: mode bmc
bmc: depth 6

[engines]
smtbmc

[script]
ghdl --std=08 -gG_ADDRESS_SIZE=4 -gG_DATA_SIZE=8 -gG_REQ_PAUSE=2 -gG_RESP_PAUSE=2 avm_pause.vhd avm_pause.psl lfsr.vhd -e avm_pause
prep -top avm_pause

[files]
avm_pause.psl
avm_pause.vhd
lfsr.vhd