Add Proposal | Add Analysis | Edit Class, Environment, or Release |
Number | 433
|
Category | enhancement
|
Synopsis | VPI model extensions for PSL assertions
|
State | open
|
Class | enhancement-ptf
|
Arrival-Date | Aug 22 2003
|
Originator | Francoise Martinolle
|
Release | 2005
|
Environment |
|
Description |
If enhancement 429 is adopted (inclusion by reference of PSL assertions in the Verilog language), this proposal defines the VPI information model extensions to access PSL assertions. |
Fix |
|
Audit-Trail |
|
Unformatted |
----web-attachment---- vpiassertion.pdf |
Hosted by Boyd Technology