Feature #10060
Support SVA properties in CFG model
Start date:
01/21/2020
Due date:
% Done:
100%
Estimated time:
Published in build:
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)
Updated by Sergey Smolov about 1 year ago
- % Done changed from 0 to 100
- Status changed from New to Resolved
Properties are added to CFG model.