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.