No Description

symbiyosys.sby 263B

1234567891011121314151617181920
  1. [tasks]
  2. flag_check
  3. [options]
  4. mode prove
  5. depth 30
  6. [engines]
  7. abc pdr
  8. [script]
  9. verific -vhdl TestDesign.vhd
  10. verific -sv Properties.sv
  11. verific -import -extnets -all TestDesign
  12. prep -top TestDesign
  13. setundef -anyseq -undriven
  14. [files]
  15. Properties.sv
  16. TestDesign.vhd