| 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