首页> 中文期刊> 《华东理工大学学报：社会科学版》 >RTL级符号模拟系统

RTL级符号模拟系统

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

给出了一组从VerilogHDL到可符号执行代码的转换规则,并且提出了ProcessQueue机制。通过运用符号模拟的方法和二叉决策图技术,给出了一个RTL级的符号模拟系统的实现方法。本系统能够有效地对RTL级Verilog算法进行符号模拟,并且支持带有时间延迟的If结构的符号模拟。

著录项

来源
《华东理工大学学报：社会科学版》 |2004年第6期|P.|共4页
作者
况翔; 宋国新;
展开▼
作者单位

华东理工大学计算机科学与工程系;

华东理工大学计算机科学与工程系;

上海200237;

展开▼
原文格式 PDF
正文语种 CHI
中图分类计算机仿真;
关键词
二叉决策图; Verilog硬件描述语言; 符号模拟;

相似文献

中文文献
外文文献
专利

1. RTL级符号模拟系统 [J] . 况翔 ,宋国新 . 华东理工大学学报（自然科学版） . 2004,第006期
2. 基于RTL级实现的可综合的16×16位带符号/无符号高速乘法器 [J] . 石碧 ,程伟综 ,何晓雄 . 电子与封装 . 2005,第005期
3. 16×16位带符号/无符号基于RTL级实现的可综合的高速乘法器 [J] . 石碧 ,程伟综 ,何晓雄 . 电子工程师 . 2003,第6期
4. 基于符号模拟和约束逻辑编程的RTL级Verilog谓词抽象方法 [J] . 李暾 ,屈婉霞 ,郭阳 . 计算机学报 . 2007,第007期
5. 面向RTL的VHDL语言模拟系统设计与实现 [J] . 孙凌宇 ,冷明 ,魏斯民 . 微电子学与计算机 . 2010,第2期
6. 神经元计算芯片指令系统的VHDL行为级与RTL级模型的建立及其模拟的研究 [C] . 金毅 . 全国首届VHDL语言及其应用学术会议--第六届全国逻辑设计自动化学术会议 . 1996
7. 基于特征提取和机器学习的RTL级硬件木马检测方法研究 [A] . 金铮斐 . 2019

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号