avm_cache.sby

[tasks]
bmc
cover

[options]
bmc: mode bmc
bmc: depth 8
cover: mode cover
cover: depth 9

[engines]
smtbmc

[script]
ghdl --std=08 -gG_CACHE_SIZE=4 -gG_ADDRESS_SIZE=4 -gG_DATA_SIZE=16 avm_cache.vhd avm_cache.psl -e avm_cache
prep -top avm_cache

[files]
avm_cache.psl
avm_cache.vhd