Hi Yaniv, Thanks for the review. See my comments below. I attached the updated document which implements comments from Yaniv, Ed and Dmitry. I will upload it to mantis soon. Doron >>1. add to "36.45 Property specification" and "M.2 Source code" vpi codes >>for weak,iff,implies >> [[DB:]] Moved to 2250 >>2. in 16.13.3 Clock flow - >> >>"flows left to right across linear operators (e.g., repetition, >>concatenation, negation, implication, and the next,always, eventually >>operators) and distributes "... >> >>I would also add the "followed by" (though it is only an example),also >>maybe saying it flows left to right in implication operator is a bit >>misleading since "implies" is not linear [[DB:]] I added followed by, a property is an implication if its top level operator is |-> |=> not imply (I admit this is confusing). >> >>3. in 16.15.1 - if this definition correlates to the abstract grammar >>then I think definition for the weak and strong operators is missing >>(whereas always , eventually and reject_on operators are redundant since >>those are derived but that is OK) [[DB:]] I added rules for weak and strong >> >>4. This enhancement adds additional operand types to property >>expression,e.g: the cycle_delay_const_range_expression in >> >>always [cycle_delay_const_range_expression] property_expr , currently >>only property-expression or sequence-expression operands exist in >>property-expression, are those additional operand types accessible from >>the VPI ? (I'm sorry but I don't know enough about VPI to answer >>this...) [[DB:]] moved to 2250 --------------------------------------------------------------------- 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 : Mon Jan 28 2008 - 03:07:28 PST