Formula cannot be passed

From: Jin Hou (hou@IRO.UMontreal.CA)
Date: Wed Apr 05 2000 - 20:15:21 MDT

  • Next message: Roderick Bloem: "Re: Formula cannot be passed"

    Hi,
    When I used VIS to verify a property on my design, the system gave me
    the following message:
    ** mc error: error in parsing Atomic Formula:
    Node S found in the support of node S.
    Node S is not driven only by latches and constants.

    I checked my property shown in the following and cannot find any error.
    Could you please tell me why the property cannot be passed?

    AG( ( S=0 * RD = 0 * R0[27:0]=0) -> AX(R0[27:0]=1) );

    Thanks!

    Jin

    This archive was generated by hypermail 2b29 : Wed Apr 05 2000 - 20:18:07 MDT