Library of reusable VHDL components
vhdl
ghdl
osvvm
psl
fpga
testbenches
coverage

WishBoneMasterE.sby 639B

123456789101112131415161718192021222324
  1. [tasks]
  2. bmc
  3. prove
  4. cover
  5. [options]
  6. depth 25
  7. bmc: mode bmc
  8. prove: mode prove
  9. cover: mode cover
  10. [engines]
  11. bmc: smtbmc z3
  12. prove: abc pdr
  13. cover: smtbmc z3
  14. [script]
  15. bmc: ghdl --std=08 -gCoverage=false -gFormal=true -gSimulation=false -gAddressWidth=32 -gDataWidth=32 WishBoneMasterE.vhd -e wishbonemastere
  16. prove: ghdl --std=08 -gCoverage=false -gFormal=true -gSimulation=false -gAddressWidth=32 -gDataWidth=32 WishBoneMasterE.vhd -e wishbonemastere
  17. cover: ghdl --std=08 -gCoverage=true -gFormal=true -gSimulation=false -gAddressWidth=32 -gDataWidth=32 WishBoneMasterE.vhd -e wishbonemastere
  18. prep -auto-top
  19. [files]
  20. ../syn/WishBoneMasterE.vhd