RE: [sv-bc] Mantis 1828

From: Bresticker, Shalom <shalom.bresticker_at_.....>
Date: Wed Feb 13 2008 - 19:51:21 PST
I think that is not quite the right wording. Tools have always been
allowed to flag anything they want, with the minor exception of a couple
of places where the LRM has said that the tool will NOT issue a warning.

The difference is that a simulator, in contrast to many other tools,
accepts behavioral and other non-synthesizable code in addition to many
other types of tools. A simulator then does need the hint that a
particular always procedure is intended to be a flipflop. 

> The *only* win from always_ff is the fact that it licenses 
> simulators to flag this and other related errors.

Shalom
---------------------------------------------------------------------
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 Wed Feb 13 19:53:25 2008

This archive was generated by hypermail 2.1.8 : Wed Feb 13 2008 - 19:54:21 PST