File: example.sby

package info (click to toggle)
yosys 0.9-1
  • links: PTS, VCS
  • area: main
  • in suites: bullseye
  • size: 10,572 kB
  • sloc: cpp: 92,919; python: 5,196; yacc: 2,535; sh: 1,883; makefile: 996; lex: 540; perl: 399; ansic: 371; tcl: 70; vhdl: 46
file content (16 lines) | stat: -rw-r--r-- 192 bytes parent folder | download | duplicates (4) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
 
# Simple SymbiYosys example job utilizing Verific

[options]
mode prove
depth 10

[engines]
smtbmc yices

[script]
verific -sv example.sv
verific -import top
prep -top top

[files]
example.sv