基于CLP模型的HDL设计可观测性分析
文献类型：期刊论文
| 作者 | 李晓维; 李华伟; 吕涛; 赵阳 |
| 刊名 | 计算机辅助设计与图形学学报
 |
| 出版日期 | 2009 |
| 卷号 | 21期号:5 |
| 关键词 | 功能验证 模拟验证 可观测性 逻辑约束编程 |
| 英文摘要 | 提高模拟验证中的可观测性覆盖率，建立了一个逻辑约束编程(CI。P)模型，定义了变量之间单步传播 的条件．在此基础上，借助通用CLP系统自动地完成路径搜索、冲突发现、回溯和约束求解．实验结果表明，基于CLP 的可观测性分析技术一方面可以生成更有效的测试向量．使得特定语句上的错误能够被传播到输出，加快模拟验证 发现bug的过程；另一方面可以识别出不可观测的语句，避免盲目追求高覆盖率，节约模拟验证的资源． |
| 语种 | 中文 |
| 公开日期 | 2010-11-05 |
| 源URL | [http://ictir.ict.ac.cn/handle/311040/850]  |
| 专题 | 中国科学院计算技术研究所期刊论文_2009年中文 |
| 推荐引用方式 GB/T 7714 | 李晓维,李华伟,吕涛,等. 基于CLP模型的HDL设计可观测性分析[J]. 计算机辅助设计与图形学学报,2009,21(5). |
| APA | 李晓维,李华伟,吕涛,&赵阳.(2009).基于CLP模型的HDL设计可观测性分析.计算机辅助设计与图形学学报,21(5). |
| MLA | 李晓维,et al."基于CLP模型的HDL设计可观测性分析".计算机辅助设计与图形学学报 21.5(2009). |
入库方式： OAI收割
来源：计算技术研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。