Continue refactoring of Verific SVA importer code
authorClifford Wolf <clifford@clifford.at>
Wed, 28 Feb 2018 10:45:04 +0000 (11:45 +0100)
committerClifford Wolf <clifford@clifford.at>
Wed, 28 Feb 2018 10:45:04 +0000 (11:45 +0100)
commit15902d495f8767fe86bbac1826cbedd1202264ef
treeba747a8bc2071cfbd4629194b2c07ee7dbd75632
parent25e33d7ab8ebeb96d6a7fb842e33f35770367587
Continue refactoring of Verific SVA importer code

Signed-off-by: Clifford Wolf <clifford@clifford.at>
frontends/verific/verific.cc
frontends/verific/verific.h
frontends/verific/verificsva.cc