0-In Design Automation将推出其CDC验证工具的附加产品Archer CDC-FX,声称是面向自动化验证亚稳态效应(automatic verification of metastability effect)的“突破性”解决方案。据称该产品能验证所有可能的时钟域交互亚稳态效应(clock-domain crossing metastability effect),取代当今的手工流程。
CDC-FX在RTL描述中自动综合了一个亚稳态效应发生器。该发生器通过分析可能引起亚稳态的仿真和输入错误信号,而产生亚稳态效应。据称,该产品减少了设计师的手工流程,即确定通过时钟域边界条件的信号可变长度周期延迟或抖动,是否有可能引起功能缺陷。
0- In公司创办人兼首席架构师Richard Ho表示,设计师试图采用同步逻辑控制这些影响,但信号值仍然可能存在功能逻辑错误。
他表示,CDC-FX能处理规模高达1000到1500万门的电路。其编译阶段对于大型设计只花费不到一个小时。
Archer-CDC可作为独立产品购买,包含CDC-FX、时钟同步检验、静态和动态CDC协议校验和CDC重新收敛校验。 Archer-CDC售价10万美元,CDC-FX附件售价5万美元。预计第三季度该公司可向beta客户交货。
京公网安备 11011202001138号
