基于CLP模型的HDL设计可观测性分析

摘要：

为了提高模拟验证中的可观测性覆盖率,建立了一个逻辑约束编程(CLP)模型,定义了变量之间单步传播的条件.在此基础上,借助通用CLP系统自动地完成路径搜索、冲突发现、回溯和约束求解.实验结果表明,基于CLP的可观测性分析技术一方面可以生成更有效的测试向量,使得特定语句上的错误能够被传播到输出,加快模拟验证发现bug的过程;另一方面可以识别出不可观测的语句,避免盲目追求高覆盖率,节约模拟验证的资源.

关键词：功能验证、模拟验证、可观测性、逻辑约束编程

所属期刊栏目：21

分类号：TP391.72(计算技术、计算机技术)

资助基金：国家"九七三"重点基础研究发展计划项目2005CB321605;国家"八六三"高技术研究发展计划2007AA01Z476,2007AA01Z113;国家自然科学基金60633060,90707004,60603049

在线出版日期：2009-06-03（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：688-693,699