• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>International Conference on ASIC >Don't let the X-bugs bite: Conquer elusive X-propagation issues early! Get them before they get you!
【24h】

Don't let the X-bugs bite: Conquer elusive X-propagation issues early! Get them before they get you!

机译：不要让X-BUGS BITE：提前征服难以捉摸的X型传播问题！在他们得到你之前得到它们！

获取原文
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

Designers spend many, many hours verifying that RTL provides the correct functionality and expect that gate level simulation produces the same results as RTL simulation. However, X-propagation is a major cause of differences between gate level and RTL simulation results, and issues cannot be detected by logical equivalence checkers. While most Xs are harmless at the RTL level, they can mask functional bugs. Resolving differences between gate level and RTL simulation results is painful and time consuming because Xs make correlation between the two difficult. X-propagation issues cause costly iterations, painful debug, and sometimes allow X-related functional bugs to slip through. This invited talk explains the common sources of Xs, shows how they can mask real functional issues and why they are difficult to avoid. It also presents a unique practical solution to assist designers in catching X-propagation bugs efficiently.
机译：设计师花费许多小时验证RTL提供了正确的功能，并期望门级仿真产生与RTL仿真相同的结果。然而，X-viavation是门级和RTL仿真结果之间差异的主要原因，并且无法通过逻辑等效检查器检测问题。虽然大多数XS在RTL级别无害，但它们可以掩盖功能性错误。解决门级和RTL仿真结果之间的差异是痛苦和耗时的，因为XS难以之间的相关性。 X-viapation问题导致昂贵的迭代，痛苦的调试，有时允许X相关的功能错误来播放。这邀请谈话解释了XS的共同来源，显示它们如何掩盖真正的功能问题以及为什么他们难以避免。它还介绍了一个独特的实用解决方案，可以帮助设计人员有效地捕捉X-viavation错误。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号