Atrenta发布基于声明的验证引擎的RTL检查器
发布时间:2007/8/31 0:00:00 访问次数:429
Atrenta公司发布了一种基于声明的功能分析工具，该工具可检查用户RTL的功能是否正确，并修正出现的问题，使仿真和综合之间的迭代次数降至最低。
这种名为Periscope的新工具采用了基于声明的验证引擎来实现功能分析、高级功能算法和时钟域交叉(CDC)分析引擎功能。Periscope的CDC引擎能自动探测和报告丢失或错误的同步器，还能探测多位CDC信号、再收敛信号的错误编码和由快到低时钟交叉的同步等其它时钟问题。该公司称这种工具的CDC分析部分可用于整个芯片设计。
除CDC分析功能外，Periscope还复合利用了形式技术和仿真来检查总线争用、控制总线同步化、未初始化内存和同步设置/复位等问题。该工具还提供了有限状态机的功能验证功能，包括搜寻不能达到的状态、锁死状态和无效状态跃变等。同时，还能探测无效代码，对三态总线和选择语句进行功能验证。
（转自 电子工程专辑）
Atrenta公司发布了一种基于声明的功能分析工具，该工具可检查用户RTL的功能是否正确，并修正出现的问题，使仿真和综合之间的迭代次数降至最低。
这种名为Periscope的新工具采用了基于声明的验证引擎来实现功能分析、高级功能算法和时钟域交叉(CDC)分析引擎功能。Periscope的CDC引擎能自动探测和报告丢失或错误的同步器，还能探测多位CDC信号、再收敛信号的错误编码和由快到低时钟交叉的同步等其它时钟问题。该公司称这种工具的CDC分析部分可用于整个芯片设计。
除CDC分析功能外，Periscope还复合利用了形式技术和仿真来检查总线争用、控制总线同步化、未初始化内存和同步设置/复位等问题。该工具还提供了有限状态机的功能验证功能，包括搜寻不能达到的状态、锁死状态和无效状态跃变等。同时，还能探测无效代码，对三态总线和选择语句进行功能验证。
（转自 电子工程专辑）
上一篇：嵌入式系统中的触摸屏及其控制
上一篇：CISC 和 RISC 微控制器
相关技术资料- 5-15高性能全局快门图像传感器SC533HGS
- 5-15 I2C 接口 PmBUS 及 OTP/MTP 存储器
- 5-15处理器核心电源 Intelli-Phase（单片DrMOS）
- 5-15业界首款全自研高性能RISC-V服务器芯片
- 5-15数字恒定导通时间控制模式（COT）
- 5-15Power Management Buck/降压转换
- 5-15Quiet Switcher技术 (QSTTM)集成驱动 MOSF
- 5-14高精度智能磁性传感器芯片KTM5900
- 5-14新一代全光纤工业光总线技术应用前景
- 5-14通感控一体全光网芯片TS-PON Gen2
- 5-14Sub-GHz/Wi-SUN 收发器技术参数设计
- 5-14低功耗 8 位和 16 位微控制器（MCU）
- 相关IC型号
公网安备44030402000607
