Update SVA cheat sheet in verificsva.cc
authorClifford Wolf <clifford@clifford.at>
Fri, 2 Mar 2018 15:05:56 +0000 (16:05 +0100)
committerClifford Wolf <clifford@clifford.at>
Fri, 2 Mar 2018 15:05:56 +0000 (16:05 +0100)
commitab791e61b300e15513f65a4a114deeb2e8f12669
treeb4522a08d4f7a5feb9bd5a49d6203a1ad548c28f
parent4e5f1f59d66b96c5e0592e4f9810cca5d55c6894
Update SVA cheat sheet in verificsva.cc

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