为什么Encounter Conformal在设计的正式验证期间报告不匹配，包括lpm_counter宏功能？

修改标题

形式验证失配导致产生的设计包括lpm_counter宏功能时lpm_counter宏功能的两个或更多个异步控制信号（ASET，ACLR，aload）被使用。

为了消除这些不匹配，编译设计之前申请黑匣子属性在^Quartus®II软件lpm_counter宏功能的包装。

有关使用Conformal进行形式验证的更多信息，请参考Quartus II手册第3卷中的Cadence Encounter Conformal Support （PDF）章节。