Add support for PRIM_SVA_UNTIL to new SVA importer
authorClifford Wolf <clifford@clifford.at>
Wed, 28 Feb 2018 14:32:17 +0000 (15:32 +0100)
committerClifford Wolf <clifford@clifford.at>
Wed, 28 Feb 2018 14:32:17 +0000 (15:32 +0100)
commit5ac3ee858a35bf4dd20c02a3cfcd9c0e23db9ecc
treeb745bb0a4129a512fc8dc1460bf79c8674a88482
parent8a1d6ccf0c1b0c7e84cd160dd2572eabebcd67cc
Add support for PRIM_SVA_UNTIL to new SVA importer

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