diff options
Diffstat (limited to 'frontends/verific/README')
| -rw-r--r-- | frontends/verific/README | 35 |
1 files changed, 5 insertions, 30 deletions
diff --git a/frontends/verific/README b/frontends/verific/README index b4c436a3a..c37d76343 100644 --- a/frontends/verific/README +++ b/frontends/verific/README @@ -1,36 +1,11 @@ - This directory contains Verific bindings for Yosys. -See http://www.verific.com/ for details. - - -Building Yosys with the 32 bit Verific eval library on amd64: -============================================================= - -1.) Use a Makefile.conf like the following one: - ---snip-- -CONFIG := gcc -ENABLE_TCL := 0 -ENABLE_PLUGINS := 0 -ENABLE_VERIFIC := 1 -CXXFLAGS += -m32 -LDFLAGS += -m32 -VERIFIC_DIR = /usr/local/src/verific_lib_eval ---snap-- - - -2.) Install the necessary multilib packages - -Hint: On debian/ubuntu the multilib packages have names such as -libreadline-dev:i386 or lib32readline6-dev, depending on the -exact version of debian/ubuntu you are working with. - -3.) Build and test +Use Symbiotic EDA Suite if you need Yosys+Verifc. +https://www.symbioticeda.com/seda-suite -make -j8 -./yosys -p 'verific -sv frontends/verific/example.sv; verific -import top' +Contact office@symbioticeda.com for free evaluation +binaries of Symbiotic EDA Suite. Verific Features that should be enabled in your Verific library @@ -50,7 +25,7 @@ Then run in the following command in this directory: sby -f example.sby -This will generate approximately one page of text outpout. The last lines +This will generate approximately one page of text output. The last lines should be something like this: SBY [example] summary: Elapsed clock time [H:MM:SS (secs)]: 0:00:00 (0) |