RE: [sv-ac] 22.10 bind review

Right again. I read that Mantis and forgot it. 

 

Thanks,

Shalom

 

________________________________

From: Lisa Piper [mailto:piper@cadence.com] 
Sent: Monday, June 04, 2007 4:41 AM
To: Bresticker, Shalom; john.havlicek@freescale.com
Cc: sv-ac@eda.org
Subject: RE: [sv-ac] 22.10 bind review

 

Refer to Mantis 1722 - this was already done.

 

Lisa

 

________________________________

From: Bresticker, Shalom [mailto:shalom.bresticker@intel.com] 
Sent: Sunday, June 03, 2007 9:29 AM
To: Lisa Piper; john.havlicek@freescale.com
Cc: sv-ac@eda.org
Subject: RE: [sv-ac] 22.10 bind review

 

Hi,

Another think that stands out now is that the title "Binding properties
to scopes or instances" is not generic enough.  Bind was moved because
it does not  have to only be used for assertions. 

[SB] I agree about the title of this section. But the first paragraph
also has to be made more generic:

To facilitate verification separate from design, it is possible to
specify properties and bind them to specific modules or instances. The
following are some goals of providing this feature:

- It allows verification engineers to verify with minimum changes to the
design code and files.

- It allows a convenient mechanism to attach verification Internet
Protocol (IP) to a module or an instance.

- No semantic changes to the assertions are introduced due to this
feature. It is equivalent to writing properties external to a module,
using hierarchical path names.

Shalom


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

believed to be clean. 

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