Actions
Feature #10060
closedSupport SVA properties in CFG model
Start date:
01/21/2020
Due date:
% Done:
100%
Estimated time:
Published in build:
1.1.3-beta-230504
Description
Translate SvaAssertionStatement objects of Verilog Translator representation into equivalent CFG objects.
SvaAssertionStatement objects can be of the following kinds:
1. IMMEDIATE - blocking assertions inside processes
2. CONCURRENT - specific processes (ASSERT/ASSUME)
Actions