
Questa Lint
Questa Lint 为设计者提供自适应的综合洞察力,确保质量要求和意图得到满足。预先配置的方法为设计问题提供即时、直观的反馈。
Questa Signoff CDC使用针对门级分析进行了优化的自动高级结构分析算法,并自动利用来自Questa CDC RTL分析的豁免和CDC路径信息来获得严格的 “低噪音” 结果。
questa signoff cdc 对自动生成的断言进行深入的形式化分析,整合结构、功能和形式算法来验证门级 CDC 结构,并自动识别合成和实现过程中可能出现的故障。
查看所有可用的 CDC、Lint 和 RDC 视频录像,网址为 验证学院。