Re: [sv-ac] R29a/b Optional or mandatory name for assertions/prop erties/assumptions.

Subject: Re: [sv-ac] R29a/b Optional or mandatory name for assertions/prop erties/assumptions.
From: Bassam Tabbara (bassam@novas.com)
Date: Thu Sep 19 2002 - 08:28:45 PDT

Hello Shan,

Yes, SV-CC is tasked with developing:
    - "Direct" C/C++ interface
    - PLI/VPI enhancements
    - Assertion API
    - Coverage API

Of course, for the last 2 sv-ac will define the data to be accessed (what) and the control (how) so that sv-cc can develop the API. We have already done some initial work on this, please refer to sv-cc webpages.

Thx.
-Bassam.

Shanthamoorthi velusamy wrote:

[...]

3) As i am new to this group, i wonder to know whether any external
programming interface (something like PLI/VPI) will be defined to access any
assertions or not, access might be required,
        * to enable/disable the assertion
        * to know whether assertion is passed or failed
      * to change the assertion property dynamically during simulation

Regards,
shan.
 

-- 
Dr. Bassam Tabbara
Technical Manager, R&D

Novas Software, Inc.
bassam@novas.com
(408) 467-7893
 

This archive was generated by hypermail 2b28 : Thu Sep 19 2002 - 08:30:09 PDT