Hello all; My concern with this new syntax is that you are now very close to concurrent assertions. Deferred: assert (#0 | event_expr) ... Concurrent assert property ... If you keep the ability for an event expression, then you have two seemingly same syntax constructions. This may cause confusion to users. SV-AC what do you think about this confusion between deferred and concurrent forms ? -- Soli Deo Gloria Adam Krolnik Director of Design Verification VeriSilicon Inc. Plano TX. 75074 Co-author "Assertion-Based Design", "Creating Assertion-Based IP" -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.Received on Mon Oct 29 08:58:38 2007
This archive was generated by hypermail 2.1.8 : Mon Oct 29 2007 - 08:58:47 PDT