Forum Discussion

JFern9's avatar
JFern9
Icon for New Contributor rankNew Contributor
7 years ago

Intel design tools and DO-254 certification

I would like to know if Modelsim-Intel (or previous Modelsim-Altera versions) can be used for DO-254 verification activities. If yes, is there any additional issue to be considered, e.g. tool validat...
KhaiChein_Y_Intel's avatar
KhaiChein_Y_Intel
Icon for Regular Contributor rankRegular Contributor
7 years ago

Hi, I received a feedback.

Intel Quartus Prime software do not natively provide code coverage, dead code, and formal proof analysis for DO-254.