草榴社区

库验证

库验证提供强大的环境，在 ESP Shell 中提供库单元验证功能，以实现大量可简单匹配的设计。 

电源完整性验证

ESP 电源完整性验证可检测常见的低功耗和断电错误，并生成 SPICE 向量用于分析和调试。它通过检测常见的低功耗设计错误并扩展断电和睡眠模式故障检测来改进低功耗设计验证。这些功能包括检测：

• 遗漏或不正确的电位转换
• 遗漏或不正确的隔离电路
• 电源/地短路
• 电源之间存在的潜通路

冗余验证

ESP 冗余验证技术可以快速验证为了绕过故障单元而实施的嵌入式 RAM 设计中使用的冗余逻辑。ESP-CV 使用户能够在位单元中注入代表错误的"故障"，然后执行分析以确认具备一个可"纠正"故障单元的冗余行/列解码器配置。

如果无法纠正位单元，ESP 就会生成反例模式，使故障敏感化，以便进一步分析。ESP-CV 可以确认同时纠正 "N" 个错误。

交互式信号跟踪

交互式信号跟踪为晶体管级调试提供了一个功能强大的环境。它帮助用户查询任何状态转换的原因，回溯跟踪因果路径，并识别 X 值的来源。

ESP 交互式信号跟踪（IST）技术提供独特的功能，可将 SPICE 网表连线上的事件回溯追踪到设计输入，调试可能不正确或具有可疑值的点，从而帮助调试验证错误。

• 基于指令的简洁界面
• 在设计原理图中追踪网表连线
• 跟踪内部信号转换
• 报告经计算的晶体管强度&苍产蝉辫;

上电重新初始化

上电重新初始化功能可在重新通电之后，在设计中断电的部分重新初始化一些节点。

上电重新初始化功能让用户能够为网表连线指定状态值，以免其因断电或上电而进入 "X" 状态，无需耗时而低效地手动编辑测试激励以强制其进入特定的状态。用户可指定网表连线在满足用户定义的重新初始化条件之后，重新初始化为指定的状态。