Add Verific attribute handling for assert/assume/cover/live/fair cells
authorClifford Wolf <clifford@clifford.at>
Wed, 31 Jan 2018 18:06:51 +0000 (19:06 +0100)
committerClifford Wolf <clifford@clifford.at>
Wed, 31 Jan 2018 18:06:51 +0000 (19:06 +0100)
commit9af40faa0b60e2c0717f36888c1e19183e40a88c
tree5ce2d35b978b0817d271ef6e80eb9ffb0f4c05f4
parente97f10b14249a412d3a97d899f6e2a8685fbcdcf
Add Verific attribute handling for assert/assume/cover/live/fair cells

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