[vhdl-200x] RFC (request for comments/review): API/Attributes for Assert

From: Jim Lewis <jim@synthworks.com>
Date: Thu Sep 13 2012 - 12:04:41 PDT
With the current level of integration of PSL,
information flows from VHDL to PSL.  However,
information does not flow from PSL to VHDL.

It would be nice to use the coverage accumulated
by PSL cover directives to change controls in a

It would be nice to be able to run a process when
a sequence, property, assert (fails), or cover (true)

These both are addressed in the Attributes/API for
PSL proposal:

Note, this is a brainstorm level proposal, so I am hoping
others jump in and help contribute to this.

Best Regards,
Jim Lewis
Director of Training             mailto:Jim@SynthWorks.com
SynthWorks Design Inc.           http://www.SynthWorks.com

Expert VHDL Training for Hardware Design and Verification

This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.
Received on Thu Sep 13 12:05:06 2012

This archive was generated by hypermail 2.1.8 : Thu Sep 13 2012 - 12:05:12 PDT