RE: [sv-ec] 1900 mantis (checkers): final (final_check ?) in checker ?

From: Korchemny, Dmitry <dmitry.korchemny_at_.....>
Date: Mon Apr 07 2008 - 13:32:59 PDT
2089 introduces final procedures in checkers, but concurrent assertions
cannot appear in final procedures.

 

Dmitry

 

________________________________

From: Mirek Forczek [mailto:mirekf@aldec.com.pl] 
Sent: Monday, April 07, 2008 3:48 PM
To: Korchemny, Dmitry; sv-ec@server.eda.org
Cc: sv-ac@eda.org
Subject: RE: [sv-ec] 1900 mantis (checkers): final (final_check ?) in
checker ?

 

But I see now: there is 2089 mantis that address exactly this issue and
it has 'resolved' status.

 

And at the same time it is on a list for discussion by a new P1800
comittee ...

 

Mirek

 

________________________________

From: Korchemny, Dmitry [mailto:dmitry.korchemny@intel.com] 
Sent: 7 kwietnia 2008 12:28
To: Mirek Forczek; sv-ec@server.eda.org
Cc: sv-ac@eda.org
Subject: RE: [sv-ec] 1900 mantis (checkers): final (final_check ?) in
checker ?

Hi Mirek,

 

There is no apparent need in final_check, since concurrent assertions
cannot be put in final procedures, and the only goal of the ..._check
procedures is to provide specific clock inference rules for concurrent
assertions.

 

Thanks,

Dmitry

 

________________________________

From: owner-sv-ec@server.eda.org [mailto:owner-sv-ec@server.eda.org] On
Behalf Of Mirek Forczek
Sent: Monday, April 07, 2008 1:21 PM
To: sv-ec@server.eda.org
Subject: [sv-ec] 1900 mantis (checkers): final (final_check ?) in
checker ?

 

Hi,

 

In "16.18.5 Checker procedures" section of the proposal there is:

"The following procedures are allowed inside a checker body:
- initial_check procedure, and
- always_check procedure"

Anybody wondered about having final (final_check ?) procedure too ?

 

Regards,

Mirek

 

 

---------------------------------------------------------------------
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 <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.
Received on Mon Apr 7 13:37:31 2008

This archive was generated by hypermail 2.1.8 : Mon Apr 07 2008 - 13:38:41 PDT