IC验证
Questa CDC (原0-in CDC)是全面解决跨时钟域验证的高度自动化解决方案,避免了传统的人工检查亚稳态问题的工作,它采用多种技术发现并确认所有的跨时钟域亚稳态问题,自动分析设计并确认可能导致亚稳态问题的信号,避免跨时钟域信号传输
Questa CoverCheck显著提升了实现代码覆盖率收敛的进程。即使在完成完备的仿真验证后,通常仍然会有一些没有被覆盖的代码。Questa CoverCheck可以定位这些问题,帮助使用者决定是否要忽略这段代码或者加强测试环境直至其被
利用Questa Formal验证引擎,可以深度穷举分析设计的行为,从而可以探测到响应检查器断言违反的复杂错误和触发条件,发现验证激励的漏洞,提高验证的完备性。 对于关键的控制模块,Questa Formal验证可以确保设计在任何情况