RTL数据通路模拟矢量自动生成方法研究与实现
Automatic Simulation Vector Generation for RTL Datapath作者机构：国防科学技术大学计算机科学与技术学院长沙410073
出 版 物：《计算机辅助设计与图形学学报》 (Journal of Computer-Aided Design & Computer Graphics)
年 卷 期：2004年第16卷第8期
页 面：1062-1069页
核心收录：
学科分类：080903[工学-微电子学与固体电子学] 0809[工学-电子科学与技术（可授工学、理学学位）] 08[工学]
基 金：国家自然科学基金 ( 90 2 0 70 19 60 3 0 3 0 11) 国家"八六三"高技术研究发展计划 ( 2 0 0 2AA1Z14 80 )资助
主 题：RTL 数据通路 模拟矢量自动生成方法 约束逻辑编辑 CLP VLSI 形式化描述 模型检验 位向量算术 约束求解
摘 要：针对已有的RTL数据通路模拟矢量自动生成方法的不足 ,提出一种利用约束逻辑编辑 (CLP)自动生成数据通路模拟矢量的新方法 该方法首先对给定的VerilogRTL描述采用程序切片进行设计化简 ,然后对化简后的结果基于位向量算术原理生成CLP约束 ,并利用CLP求解器GProlog进行约束求解 ,最终生成满足输出要求的模拟矢量 该方法约束求解速度快 ,生成的约束是统一的 ,得到的模拟矢量较完备 ,能满足模拟验证的要求 实验结果表明 。
维普期刊数据库
同方期刊数据库