Honored Contributorhas anyone ran into the following error during the Analysis&Synthesis step in QuartusII:
*** Fatal Error: Access Violation at 0X022FEEDD Module: quartus_map.exe 0x2EEDD : KPT_KEYPOINTS_DB::verify + 0x56BD (db_kpt) End-trace I get the above error when i enable the EDA tool setting for generating the LEC-Conformal scripts/netlist for doing formal verification. Thanks,
Honored ContributorI can suggest you to refer to the document:
http://www.altera.com/literature/hb/qts/qts_qii53011.pdf and to use at least Quartus version 8.0 if you have not upgraded it. It seems that some bugs were fixed recently in the Conformal Verification procedure.Honored Contributorhi, thanks for the pointer. i am following the steps in this document to enable netlist/conformal setupfile generation. I am also using QuartusII 8.0 build 231 07/10/2008 SP1 SJ Full Version (PC version) which i thought was the latest version.
Honored ContributorYeah, it's indeed the last one. Unfortunately now I've got no more suggestions, I've never gone into this error. Maybe someone else can help?
Cheers OD
