Progress in Verific bindings
authorClifford Wolf <clifford@clifford.at>
Mon, 17 Mar 2014 00:56:00 +0000 (01:56 +0100)
committerClifford Wolf <clifford@clifford.at>
Mon, 17 Mar 2014 00:56:00 +0000 (01:56 +0100)
commita67cd2d4a284cb945af6d477cc215cef7bdd22a8
tree2be5f13ffe5ecdec4fc365bba955ccd83258254c
parentacda74c12cd39ae1a17d15f472728b49ad584e91
Progress in Verific bindings
frontends/verific/verific.cc
tests/simple/forgen01.v
tests/simple/mem_arst.v
tests/tools/autotest.sh