作者最新文章


比较和发现两个模拟之间的差异


比较是我们在日常生活中为了理解现实和分析情况而使用的一项基本技能。当涉及到芯片验证时,检查的基本任务还包括比较,因为检查总是“检查与某些东西”- ASIC规范和/或模型。在实践中,当我们遇到一个失败的测试时,通常我们有一个类似的通过测试…»阅读更多

硬件-软件协同验证(ARM CPU)


在每个复杂的SoC验证过程中,都有必要在验证过程中激活cpu,并检查它们在测试场景中执行的软件的操作。至少会测试诸如“boot rom执行”之类的基本场景,但在许多情况下,还需要进一步的场景。cpu本身通常是经过验证的ip,但为了验证它们的集成…»阅读更多

从视觉上捕捉bug


本文提出了一种理解复杂场景的新方法,以显著加快错误检测和解决。通过定义一种新的可视化语言,在单个矩阵上创建模拟场景和代码结构之间的交互顶点,我们提供了一种比较多个周期的新方法。它使验证工程师能够就…得出可靠的结论。»阅读更多

大数据革命:美丽的仆人还是危险的怪物?


世界正在经历信息革命,人类的霸权从科学转向了数据。就像印刷革命曾经让世界充斥着信息一样,现在控制空间正在用大量的信息粒子吞没整个星球。我们生活在一个知识、事实和大数据已经完全接管我们的时代。»阅读更多

Baidu