RTL数据通路模拟矢量自动生成方法研究与实现

作者：李暾; 郭阳; 李思昆rtl数据通路模拟矢量自动生成方法约束逻辑编辑clpvlsi形式化描述模型检验位向量算术约束求解

摘要：针对已有的RTL数据通路模拟矢量自动生成方法的不足,提出一种利用约束逻辑编辑(CLP)自动生成数据通路模拟矢量的新方法.该方法首先对给定的Verilog RTL描述采用程序切片进行设计化简,然后对化简后的结果基于位向量算术原理生成CLP约束,并利用CLP求解器GProlog进行约束求解,最终生成满足输出要求的模拟矢量.该方法约束求解速度快,生成的约束是统一的,得到的模拟矢量较完备,能满足模拟验证的要求.实验结果表明,文中方法是一种高效的RTL数据通路模拟矢量自动生成方法.

注：因版权方要求，不能公开全文，如需全文，请咨询杂志社