ID บทความ: 000078749 ประเภทข้อมูล: การแก้ไขปัญหา การตรวจสอบครั้งล่าสุด: 18/05/2010

ทําไม Conformal LEC ถึงล้มเหลว แสดงความไม่สอดคล้องกันในจํานวนรัฐในเครื่องสถานะในการออกแบบของฉัน

สิ่งแวดล้อม

BUILT IN - ARTICLE INTRO SECOND COMPONENT
คำอธิบาย

ปัญหานี้เกิดขึ้นเมื่อซอฟต์แวร์ Quartus® II เริ่มต้นด้วยเวอร์ชัน 6.0 จะทําการปรับแต่งประสิทธิภาพบางอย่างในขณะที่ทําการแยกเครื่องสถานะ ซอฟต์แวร์ Quartus II สร้างไฟล์ Finite State Machine (.fsm) สําหรับซอฟต์แวร์ Conformal เพื่อตีความการเข้ารหัสของ State Machine ไฟล์ FSM ถูกสร้างขึ้นก่อนที่จะดําเนินการปรับแต่งประสิทธิภาพของเครื่องสถานะ เมื่อการปรับแต่งประสิทธิภาพสถานะบางอย่างเกิดขึ้นหลังจากสร้างไฟล์ FSM ความแตกต่างในการเข้ารหัส State Machine จะส่งผลให้เกิดความไม่ตรงกันระหว่างการออกแบบสีทองและการออกแบบที่ปรับปรุงใหม่ โดยยุติการตรวจสอบอย่างเป็นทางการ

เพื่อหลีกเลี่ยงปัญหานี้ ให้ปิด Extract Verilog State Machines หรือ Extract VHDL State Machines ภายใต้ การตั้งค่าเพิ่มเติม ในหน้า การวิเคราะห์และการสังเคราะห์ ของกล่องโต้ตอบ การตั้งค่า โปรดทราบว่าการปิดการสกัดเครื่องสถานะอาจลดประสิทธิภาพของพื้นที่/เวลาทั้งนี้ขึ้นอยู่กับการออกแบบ

ผลิตภัณฑ์ที่เกี่ยวข้อง

บทความนี้จะนำไปใช้กับ 1 ผลิตภัณฑ์

อุปกรณ์ที่ตั้งโปรแกรมได้ Intel®

เนื้อหาในหน้านี้เป็นการผสมผสานระหว่างการแปลเนื้อหาต้นฉบับภาษาอังกฤษโดยมนุษย์และคอมพิวเตอร์ เนื้อหานี้จัดทำขึ้นเพื่อความสะดวกของคุณและเพื่อเป็นข้อมูลทั่วไปเท่านั้นและไม่ควรอ้างอิงว่าสมบูรณ์หรือถูกต้อง หากมีความขัดแย้งใด ๆ ระหว่างเวอร์ชันภาษาอังกฤษของหน้านี้กับคำแปล เวอร์ชันภาษาอังกฤษจะมีผลเหนือกว่าและควบคุม ดูเวอร์ชันภาษาอังกฤษของหน้านี้