期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
RTL数据通路模拟矢量自动生成方法研究与实现
被引量：
2
1
作者
李暾
郭阳
李思昆
《计算机辅助设计与图形学学报》
EI
CSCD
北大核心
2004年第8期1062-1069,共8页
针对已有的RTL数据通路模拟矢量自动生成方法的不足 ,提出一种利用约束逻辑编辑 (CLP)自动生成数据通路模拟矢量的新方法 该方法首先对给定的VerilogRTL描述采用程序切片进行设计化简 ,然后对化简后的结果基于位向量算术原理生成CLP约...
针对已有的RTL数据通路模拟矢量自动生成方法的不足 ,提出一种利用约束逻辑编辑 (CLP)自动生成数据通路模拟矢量的新方法 该方法首先对给定的VerilogRTL描述采用程序切片进行设计化简 ,然后对化简后的结果基于位向量算术原理生成CLP约束 ,并利用CLP求解器GProlog进行约束求解 ,最终生成满足输出要求的模拟矢量 该方法约束求解速度快 ,生成的约束是统一的 ,得到的模拟矢量较完备 ,能满足模拟验证的要求 实验结果表明 。
展开更多
关键词
RTL
数据通路
模拟矢量自动生成方法
约束逻辑编辑
CLP
VLSI
形式化描述
模型检验
位向量算术
约束求解
在线阅读
下载PDF
职称材料
题名
RTL数据通路模拟矢量自动生成方法研究与实现
被引量：
2
1
作者
李暾
郭阳
李思昆
机构
国防科学技术大学计算机科学与技术学院
出处
《计算机辅助设计与图形学学报》
EI
CSCD
北大核心
2004年第8期1062-1069,共8页
基金
国家自然科学基金 ( 90 2 0 70 19
60 3 0 3 0 11)
国家"八六三"高技术研究发展计划 ( 2 0 0 2AA1Z14 80 )资助
文摘
针对已有的RTL数据通路模拟矢量自动生成方法的不足 ,提出一种利用约束逻辑编辑 (CLP)自动生成数据通路模拟矢量的新方法 该方法首先对给定的VerilogRTL描述采用程序切片进行设计化简 ,然后对化简后的结果基于位向量算术原理生成CLP约束 ,并利用CLP求解器GProlog进行约束求解 ,最终生成满足输出要求的模拟矢量 该方法约束求解速度快 ,生成的约束是统一的 ,得到的模拟矢量较完备 ,能满足模拟验证的要求 实验结果表明 。
关键词
RTL
数据通路
模拟矢量自动生成方法
约束逻辑编辑
CLP
VLSI
形式化描述
模型检验
位向量算术
约束求解
Keywords
VLSI
datapath
constraint logic programming
automatic simulation vectors generation
分类号
TN47 [电子电信—微电子学与固体电子学]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
RTL数据通路模拟矢量自动生成方法研究与实现
李暾
郭阳
李思昆
《计算机辅助设计与图形学学报》
EI
CSCD
北大核心
2004
2
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
