数据通路验证应用采用芯片业界公认的HECTOR^™先进技术，在设计和验证周期内为广大的数据通路密集型设计用户提供完备的形式化验证收敛。该应用基于形式化方法学，其在C/C++算法和RTL设计实现之间的一致性检查上比传统的复杂芯片系统(SoC)设计技术快100多倍，并且支持遍历式验证确保设计的正确性，以前的仿真方案是无法做到的。

数据通路验证应用加入了不断增长的VC Formal应用组合中，其还包括属性验证(FPV)、时序电路等价验证(SEQ)、寄存器验证(FRV)、形式化覆盖分析器(FCA)、连接性检查(CC)、X-Propogation检查(FXP)、形式化Testbench分析器(FTA)、属性自动提取(AEP)和回归模式加速器(RMA)。 （全球TMT www.tmtnews.tech）