Project

General

Profile

Feature #10060

Support SVA properties in CFG model

Added by Sergey Smolov 7 months ago. Updated 5 months ago.

Status:
Resolved
Priority:
High
Assignee:
Category:
Model
Target version:
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)

History

#1

Updated by Sergey Smolov 7 months ago

  • Target version set to 1.2
#2

Updated by Sergey Smolov 6 months ago

  • Priority changed from Normal to High
#3

Updated by Sergey Smolov 5 months ago

  • % Done changed from 0 to 100
  • Status changed from New to Resolved

Properties are added to CFG model.

Also available in: Atom PDF