การตรวจสอบความถูกต้องที่ไม่ตรงกันอย่างเป็นทางการเกิดขึ้นสําหรับการออกแบบ รวมถึง lpm_counter เมกะที่ทํางานได้เมื่อมีการใช้สัญญาณควบคุมที่ไม่ต่อเนื่องสองตัวหรือมากกว่าของเมกะฟังก์ชัน lpm_counter (aset, aclr, aload)
หากต้องการกําจัดความไม่ตรงกันเหล่านี้ ให้ใช้คุณสมบัติกล่องสีดํากับตัวห่อ lpm_counter เมกะการทํางานร่วมกันในซอฟต์แวร์ Quartus® II ก่อนรวบรวมการออกแบบ
สําหรับข้อมูลเพิ่มเติมเกี่ยวกับการตรวจสอบอย่างเป็นทางการโดยใช้ Conformal โปรดดูบท Cadence Encounter Conformal Support (PDF) ในเล่มที่ 3 ของ Quartus II Handbook