Refactor Verific SVA importer property parser
authorClifford Wolf <clifford@clifford.at>
Sun, 4 Mar 2018 13:29:48 +0000 (14:29 +0100)
committerClifford Wolf <clifford@clifford.at>
Sun, 4 Mar 2018 13:29:48 +0000 (14:29 +0100)
commit9ab2498c558560f664d2189a17182cb9f879d4ed
tree3f9b7ed7ab08865dd68b6006e647eea4dd4f275d
parent261cf706f4d8eb1bcb3d9e6915930667073fdbe6
Refactor Verific SVA importer property parser

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