Coverage-Driven Stimuli Generation
Coverage-Driven Stimuli Generation
复制标题
覆盖驱动的刺激生成
DOI：
--
复制
发表时间：
2012
期刊：
影响因子：
--
通讯作者：
R. Drechsler
中科院分区：
文献类型：
--
作者：
Shuo Yang;R. Wille;Daniel Große;R. Drechsler
基于仿真的验证仍然是验证片上系统正确性的最重要方法之一。在这里，需要生成明确指定的刺激，以触发设计的某些情景。然而，迄今为止，刺激的生成主要是独立于所需的覆盖范围进行的。在这项工作中，我们提出了覆盖率驱动的刺激生成方法。尽管方法很简单，但我们引入并讨论了改进刺激生成的自动和交互式方法。我们的研究表明，明确考虑覆盖率指标可生成更小、更完整的刺激物集。
Simulation-based verification is still one of the most important methods to validate the correctness of System-on-Chips. Here, explicitly specified stimuli need to be generated which trigger certain scenarios of the design. However, so far stimuli generation is mainly performed independently of the desired coverage. In this work, we propose approaches for coverage-driven stimuli generation. Despite a naive method, we introduce and discuss automatic and interactive methods for an improved stimuli generation. We show that explicitly considering coverage metrics leads to smaller and complete sets of stimuli.