RTL仿真与分析

DO-254项目的RTL模拟阶段通常需要运行一组基于需求的测试,可追溯到要求,并运行代码覆盖率,以确保测试完全执行RTL代码。更复杂的设备可能需要更复杂的方法,如基于断言的设计和时钟域交叉分析。

用于RTL的ModelSim

ModelSim支持传统的定向测试模拟方法,还包括代码覆盖特性,以支持“元素分析。”“

了解有关ModelSim的更多信息

高级RTL验证问题

Questa支持更先进的复杂设备验证方法,包括基于断言的设计,验证管理,以及其他高级功能。

进一步了解Questa

Questa CDC用于亚稳态分析

QuestaCDC对多时钟设计进行分析,以确定潜在的亚稳态问题。

了解更多关于Questa CDC的信息

全面分析的形式验证

Questa正式验证是一种模型检查工具,可用于全面验证设计的安全关键特性。

了解有关questa正式验证的更多信息