Hi Bassam - "They represent asynchronous resets." -- synchronous, right ? [DB:] They are asynchronous w.r.t. the assertion's clock - "T clock argument can be explicitly specified or inferred from the clock flow." -- should be "The ...", moreover do we really need this sentence since 1550 strikes out explicit args to $sampled ... Should strike out the whole sentence. [DB:] I fixed the typo, I didn't removed the line because $past, $rose etc. still have the clocking argument. Only the $sample does not have it. Thanks Doron --------------------------------------------------------------------- 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.
This archive was generated by hypermail 2.1.8 : Thu Oct 11 2007 - 01:13:36 PDT