首页> 外文期刊>IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems >Improving the observability and controllability of datapaths for emulation-based debugging
【24h】

Improving the observability and controllability of datapaths for emulation-based debugging

机译:改进基于仿真的调试的数据路径的可观察性和可控性

获取原文
获取原文并翻译 | 示例

摘要

Growing design complexity has made functional debugging of application-specific integrated circuits crucial to their development. Two widely used debugging techniques are simulation and emulation. Design simulation provides good controllability and observability of the variables in a design, but is two to ten orders of magnitude slower than the fabricated design. Design emulation and fabrication provide high execution speed, but significantly restrict design observability and controllability. To facilitate debugging, and in particular error diagnosis, we introduce a novel cut-based functional debugging paradigm that leverages the advantages of both emulation and simulation. The approach enables the user to run long test sequences in emulation, and upon error detection, roll-back to an arbitrary instance in execution time, and transparently switch over to simulation-based debugging for full design visibility and controllability. The new debugging approach introduces several optimization problems. We formulate the optimization tasks, establish their complexity, and develop most-constrained least-constraining heuristics to solve them. The effectiveness of the new approach and accompanying algorithms is demonstrated on a set of benchmark designs where combined emulation and simulation is enabled with low hardware overhead.
机译:不断增加的设计复杂性已使专用集成电路的功能调试对其开发至关重要。两种广泛使用的调试技术是仿真和仿真。设计仿真可为设计中的变量提供良好的可控制性和可观察性,但比已制造的设计慢2至10个数量级。设计仿真和制造提供了很高的执行速度,但大大限制了设计的可观察性和可控性。为了方便调试,尤其是错误诊断,我们引入了一种新颖的基于剪切的功能调试范例,该范例利用了仿真和仿真的优势。该方法使用户可以在仿真中运行较长的测试序列,并在检测到错误时在执行时回滚到任意实例,并透明地切换到基于仿真的调试以提供完整的设计可见性和可控性。新的调试方法引入了一些优化问题。我们制定优化任务,确定其复杂性,并开发约束最大,约束最小的启发式算法来解决它们。在一组基准设计中证明了新方法和随附算法的有效性,该基准设计可在较低的硬件开销下实现组合的仿真和仿真。

著录项

相似文献

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

客服邮箱:kefu@zhangqiaokeyan.com

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

  • 服务号