Clifford Wolf 1488bc0c4f Updated verific build/test instructions

2014-07-25 12:16:03 +02:00

..

build_amd64.txt

Updated verific build/test instructions

2014-07-25 12:16:03 +02:00

Makefile.inc

Copy Verific vdbs files to Yosys "share" data directory

2014-03-13 17:34:31 +01:00

test_navre.ys

Updated verific build/test instructions

2014-07-25 12:16:03 +02:00

verific.cc

Various fixes in Verific frontend for new RTLIL API

2014-07-23 21:35:01 +02:00