机构名称：
¥ 2.0
注意：本文档不提供有关 DO-254 流程的一般信息，而是重点介绍高级验证和工具评估问题，特别是针对西门子 EDA Questa 形式验证工具。如果您需要有关 DO-254 流程的一般信息或培训，我们建议您报名参加 DO_254 合规课程，例如通过我们的西门子 EDA 合作伙伴 Patmos 工程服务提供的课程。您可以在此处获取更多信息：https://www.patmos- eng.com/do-254-training-do-178c-training/
DO-254 的形式验证（及其他安全... - 西门子
主要关键词
相关文件推荐
