ISSUE 433

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-DateAug 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