In the expression '@(exp1 iff exp2)', is there a required timing relation of the sampling of exp2 relative to exp1? For example, in '@(clk iff en)', what happens if en changes in the same timepoint as clk? Thanks, Shalom Shalom Bresticker Communications & Storage Infrastructure Group Design Automation Intel Jerusalem, Israel +972 2 589 6582 (office) +972 54 721 1033 (cell) http://www.linkedin.com/in/shalombresticker The devil is in the details. --------------------------------------------------------------------- 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 Aug 11 04:06:30 2014
This archive was generated by hypermail 2.1.8 : Mon Aug 11 2014 - 04:06:51 PDT