frontends/verific/example.sby

   1 # Simple SymbiYosys example job utilizing Verific
   2
   3 [options]
   4 mode prove
   5 depth 10
   6
   7 [engines]
   8 smtbmc yices
   9
  10 [script]
  11 verific -sv example.sv
  12 verific -import top
  13 prep -top top
  14
  15 [files]
  16 example.sv