RE: [sv-ac] Mantis #1550 updated

From: Korchemny, Dmitry <dmitry.korchemny_at_.....>
Date: Wed Aug 22 2007 - 23:12:58 PDT
Hi Ed,

The sentence:

"The use of these functions is not limited to assertion features; they
can be used as expressions in procedural code as well. The clocking
event, although optional as an explicit argument to the functions $past,
$rose, $stable and $fell, is required for their semantics."

should be

"The use of these functions is not limited to assertion features; they
can be used as expressions in procedural code as well. The clocking
event, although optional as an explicit argument to the functions $past,
$rose, $fell, $stable and $changed, is required for their semantics."

Thanks,
Dmitry

-----Original Message-----
From: owner-sv-ac@server.eda.org [mailto:owner-sv-ac@server.eda.org] On
Behalf Of Eduard Cerny
Sent: Wednesday, August 22, 2007 5:28 PM
To: sv-ac@server.eda-stds.org
Subject: [sv-ac] Mantis #1550 updated

Hello, I have updated the proposal for 1550 according to the champions'
recommendations. Deposited on Mantis and attached here.

best regards,
ed

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

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.
Received on Wed Aug 22 23:13:28 2007

This archive was generated by hypermail 2.1.8 : Wed Aug 22 2007 - 23:13:40 PDT