Article ID: 000078329 Content Type: Troubleshooting Last Reviewed: 09/11/2012

Why does Encounter Conformal reports mismatches during formal verification of designs including the lpm_counter megafunction?

Environment

  • Verification
  • BUILT IN - ARTICLE INTRO SECOND COMPONENT
    Description

    Formal verification mismatches occur for designs including the lpm_counter megafunction when two or more asynchronous control signals of the lpm_counter megafunction (aset, aclr, aload) are used.

    To eliminate these mismatches, apply the black box property to the wrapper of the lpm_counter megafunction in the Quartus® II software before compiling the design.

    For more information on formal verification using Conformal, refer to the Cadence Encounter Conformal  Support (PDF) chapter in volume 3 of the Quartus II Handbook.