RE: [sv-ac] feedback on 2088 and 2089

Hi Tom,

 

Here are some more comments about 2088:

 

*	Do you allow only cover group declaration in the checker or its
instantiation as well?
*	If you allow cover group instantiation as well, what kind of
formal arguments are allowed? May they be checker variables? May they be
free variables?
*	May checker variables represent cover points?

 

Thanks,

Dmitry 

 

________________________________

From: owner-sv-ac@server.eda.org [mailto:owner-sv-ac@server.eda.org] On
Behalf Of Lisa Piper
Sent: Sunday, December 16, 2007 9:56 PM
To: Thomas.Thatcher@sun.com
Cc: sv-ac@server.eda.org
Subject: [sv-ac] feedback on 2088 and 2089

 

Hi Tom,

My feedback on 2089, and one more on 2088,

1. Why wasn't this text also updated for 2088?   Also, there are font
issues with the PDF for initial_check (these font issues are also in the
checker proposal itself).

A checker body may contain the following elements:

* Declaration of let, sequences, properties and functions.

* Concurrent assertions.

* Free variables and their assignments (see 16.18.5).

* Default clocking and disable declarations.

* initial_check, and always_check, and final procedures (see 16.18.4).

* Generate blocks, containing any of the above elements.

2. Minimally there should be a note that changes are needed to the VPI
diagrams when the checker VPI is added.  Same applies to 2088.

Lisa


-- 
This message has been scanned for viruses and 
dangerous content by MailScanner <http://www.mailscanner.info/> , and is

believed to be clean. 
---------------------------------------------------------------------
Intel Israel (74) Limited

This e-mail and any attachments may contain confidential material for
the sole use of the intended recipient(s). Any review or distribution
by others is strictly prohibited. If you are not the intended
recipient, please contact the sender and delete all copies.

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.