diff options
| author | Clifford Wolf <clifford@clifford.at> | 2017-07-22 11:58:51 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2017-07-22 11:58:51 +0200 |
| commit | 2785aaffeb66575128da1f68044dd317660e0f3b (patch) | |
| tree | 864b248092eaa6a8096ecb45ba7fc5438d1af034 /frontends/verific/example.sby | |
| parent | b3bc7068d1683cc0ac0b21cacdfb07867a7eeadb (diff) | |
| download | yosys-2785aaffeb66575128da1f68044dd317660e0f3b.tar.gz yosys-2785aaffeb66575128da1f68044dd317660e0f3b.tar.bz2 yosys-2785aaffeb66575128da1f68044dd317660e0f3b.zip | |
Improve docs for verific bindings, add simply sby example
Diffstat (limited to 'frontends/verific/example.sby')
| -rw-r--r-- | frontends/verific/example.sby | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/frontends/verific/example.sby b/frontends/verific/example.sby new file mode 100644 index 000000000..ffbf33cab --- /dev/null +++ b/frontends/verific/example.sby @@ -0,0 +1,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 |