tree 32f8e72013cf4e6be4e1fb728f7670ebde320d1e
parent 72d2ef6fd071a8b2b9e1a77ddab3a9d632aa0f3d
author Clifford Wolf <clifford@clifford.at> 1574434341 +0100
committer Clifford Wolf <clifford@clifford.at> 1574434341 +0100

Add Verific SVA support for "always" properties

Signed-off-by: Clifford Wolf <clifford@clifford.at>