乐观的模拟行为可以隐藏错误在你的设计tapeout后才出现。
逻辑设计师与X的问题是RTL仿真是乐观的行为,这可以隐藏真正的bug去tapeout时在你的设计。一些工程师指出,我们总是不得不处理X和什么都没有改变。
事实上,今天的SoC采用不同的电源管理方案,唤醒或暂停IP。任何设计师都知道,当驱动逻辑,任何X必须清除重置或在一个特定的短周期后记。现在的情况更不确定设计师所有可能的场景被认为是和所有正确X将被清除。
但我不能打开我的模拟器使我所有的决策逻辑X-safe和消除乐观的行为?可以,但也有缺点。首先你模拟的吞吐量将大幅下降,运行时将增长3倍。第二,一些逻辑设计X-optimism和其他逻辑不是很敏感。蛮力方法让设计师自行决定是否他们看到一个真正的问题。X-safe模拟,最后没有行业标准和方法由一个供应商的工具都不可能会出现在另一个的。
诱惑是提供一个重置所有的失败在你的设计中,但是这将是昂贵的珍贵路由密度和用电。理想情况下,您会有一个静态工具可以分析你的设计的其他方案,然后建议最小子集的失败需要重置。本周,3月25日,真正的意图了主要的改进在其提升十五产品早期检测和管理数字设计的未知数(X)解决这一问题。
提升十五可重调性分析和优化确定哪些失败将被重新设置的周期和哪些不会,并建议所需的最小集。有一个类似的分析保留细胞。
提升十五也设计的静态分析,以确定哪些逻辑是X-sensitive和允许您忽略X,不会造成问题,关注那些需要注意。这是非常重要的,当你要处理大型设计,也许被仿真结果。这个分析的结果可以看到从Synopsys对此威尔第调试环境。
Synopsys对此威尔第调试环境的屏幕截图显示了从一个X-source传播(红色X左边)X-sensitive逻辑在右下角标注黄色的X。
听到更多的特性和好处的新崛起十五释放包括重置和保留优化,看这个视频采访丽莎风笛手,老技术营销经理真正的意图。
|
|
|
|
|
|
|
|
|
|
[…]真正意图的格雷厄姆·贝尔指出,乐观的模拟行为可以隐藏错误设计,[…]