虫虫首页| 资源下载| 资源专辑| 精品软件
登录| 注册

您现在的位置是:虫虫下载站 > 资源下载 > 技术资料 > 基于断言的模拟矢量自动生成方法

基于断言的模拟矢量自动生成方法

  • 资源大小:365 K
  • 上传时间: 2024-06-29
  • 上传用户:qingfengchizhu
  • 资源积分:2 下载积分
  • 标      签: 断言

资 源 简 介

·VLSI模拟验证的一个关键问题是需要大量的模拟矢量来验证各种可能情况下设计的正确性.采用断言作为模拟验证的功能模型,提出和实现了一种基于断言的模拟矢量自动生成方法.针对要触发的断言,首先对设计进行化简,通过决策图模型将初始输入传播到断言,并将传播过程和断言条件一起转化成CLP约束,最后求解CLP约束生成模拟矢量.该方法的优势在于运用了字级(word-level)约束求解技术,能统一处理控制电路和数

相 关 资 源

您 可 能 感 兴 趣 的