quartus fatal error when i try to generate FV netlist for LEC-conformal

Altera_Forum · ‎10-27-2008

has 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,

Altera_Forum · ‎10-27-2008

I 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.

Altera_Forum · ‎10-27-2008

hi, 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.

Altera_Forum · ‎10-27-2008

Yeah, 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