首页> 外文期刊>Frontiers of computer science in China >Equivalence checking between SLM and TLM using coverage directed simulation
【24h】

Equivalence checking between SLM and TLM using coverage directed simulation

机译:使用覆盖范围定向的仿真在SLM和TLM之间进行等效检查

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

摘要

The increasing complexity of digital systems makes designers begin to design using abstract system level modeling (SLM). However, SLM brings new challenges for verification engineers to guarantee the functional equivalence between SLM specifications and lower-level implementations such as those of transaction level modeling (TLM). This paper proposes a novel method for equivalence checking between SLM and TLM based on coverage directed simulation. Our method randomly simulates an SLM model and uses an satisfiability modulo theories (SMT) solver to generate stimuli for the uncovered area with the direction of a composite coverage metric (code coverage and functional coverage). Then we run all the generated stimuli (random stimuli and direct stimuli) on both SLM and TLM designs. At the same time, the selected observation variables are compared to evaluate the equivalence between SLM and TLM. Promising experimental results show that our equivalence checking method is more efficient with lower simulation cost.
机译:数字系统日益复杂,使设计人员开始使用抽象系统级建模(SLM)进行设计。但是,SLM为验证工程师带来了新的挑战,以确保SLM规范与较低级别的实现(例如事务级别建模(TLM)的实现)之间的功能等效。本文提出了一种基于覆盖率定向仿真的SLM与TLM等价性检验的新方法。我们的方法随机模拟一个SLM模型,并使用可满足性模理论(SMT)求解器以组合覆盖率度量(代码覆盖率和功能覆盖率)的方向为未覆盖区域生成刺激。然后,我们在SLM和TLM设计上运行所有生成的刺激(随机刺激和直接刺激)。同时,比较所选观察变量以评估SLM和TLM之间的等效性。有希望的实验结果表明,我们的等效检查方法效率更高,仿真成本更低。

著录项

相似文献

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

客服邮箱:kefu@zhangqiaokeyan.com

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

  • 服务号