《浙江大学学报(理学版)》2004年04期 加入收藏    获取最新 
 一种VHDL的结构化操作语义
 刘云仙;王维维
   硬件描述语言及相关的系统验证等技术的研究是当今电子设计自动化领域的一个重要课题.通过对硬件描述语言VHDL的子集进行了基于结构化的操作语义的形式描述,结果表明其操作语义的描述既清晰又易理解,从而避免造成语言设计者、用户和实现者对语义的不同理解,影响语言的正确实施和有效使用.
【作者单位】:浙江科技学院 浙江杭州310012 (刘云仙);浙江大学超大规模集成电路设计研究所 浙江杭州310027(王维维)
【关键词】:VHDL;操作语义;转移规则
【基金】:浙江省教育厅资助项目(20010442).
【分类号】:TN402
【DOI】:cnki:ISSN:1008-9497.0.2004-04-013
【正文快照】:
    随着大规模集成电路技术和计算机技术的不断发展,在涉及通信、国防、航天、医学、工业自动化、计算机应用、仪器仪表等领域的电子系统设计中,电子设计自动化EDA(ElectronicDesignAutomation)技术的应用范围正以惊人的速度扩大.而EDA的关键技术之一是要求用形式化方法来描述
 
 推荐 下载CAJ全文           下载PDF全文
 CAJViewer7.0阅读器支持所有CNKI文件格式,AdobeReader仅支持PDF格式
 A structural operational semantics of VHDL.
 LIU Yun-xian~1;WANG Wei-wei~2 (1. Zhejiang University of Science and Technology;Hangzhou 310012;China; 2. Institute of VLSI Design;Zhejiang University;Hangzhou 310027;China)
  The research of hardware description language and related system verification technique is an important field of electronic design automation presently. In this paper, an structural operational semantics to the subset of VHDL is provided. The results show that the operational semantics description is clear and easy to understand. It can avoid the divergent understanding of VHDL semantics by language designer, user and program compiler, and assure the correct and efficient use of the language.
【Keyword】:VHDL;operational semantics;transition rules
 【相似文献】 
 中国期刊全文数据库
 
1刘云仙,王维维; 一种VHDL的结构化操作语义 [J];浙江大学学报(理学版); 2004年04期; 53-55+63
2杨庆; 基于VHDL与CPLD器件的FIR数字滤波器的设计 [J];湖北民族学院学报(自然科学版); 2005年01期; 67-69
3刘科峰,张沙清,田丰; EDA技术在电子设计中的应用 [J];广西物理; 2004年02期; 38-41
4韩进,程勇,齐现英; VHDL在数字集成电路设计中的应用 [J];山东科技大学学报(自然科学版); 2003年04期; 78-81
5杨秀芝,郭文进; 基于VHDL电路设计的初步探讨 [J];宁德师专学报(自然科学版); 2001年01期; 58-60
6张淼,张晓琦; VHDL与电子自动化 [J];辽宁师专学报(自然科学版); 2002年02期; 50-52+104
7邱军兴,郭东道; EDA技术在电路设计中的地位和作用 [J];西安文理学院学报(自然科学版); 2005年01期; 65-68
8柳平,郭毅杰; RS(255,239)码编码器的设计与实现 [J];汕头大学学报(自然科学版); 2002年01期; 60-65
9郑春来,王战备; 基于VHDL的CRC编码器的设计 [J];科技广场; 2006年04期; 104-105
10苏勇,励金祥,何加铭,张剑峰; 多速率Viterbi译码的FPGA实现 [J];宁波大学学报(理工版); 2002年03期; 46-48
 中国优秀硕士学位论文全文数据库
 
1潘小莉; INTEL82系列器件模型在MultiSIM软件平台中的VHDL语言实现 [D];北京化工大学; 2004年
2刘东; 用VHDL设计实现JPEG(基本系统)硬件编码器 [D];西南交通大学; 2003年
3李瑛; VHDL并行模拟中划分算法的研究 [D];太原理工大学; 2003年
4胡光荣; 用VHDL语言设计基于FPGA器件的高采样率FIR滤波器 [D];国防科学技术大学; 2002年
5焦原军; MCU8051 IP core的设计 [D];电子科技大学; 2005年
6程俊; 浮点FFT的VHDL实现及HDL功能测试方法的研究 [D];湖南大学; 2004年
7谢烨; AS1773光纤控制总线协议芯片的实现及相关接口研究 [D];电子科技大学; 2005年
8龚书涛; 自由立体显示硬件电路设计 [D];合肥工业大学; 2006年
9孙秀丽; VHDL并行模拟算法的研究 [D];太原理工大学; 2002年
10梁彬; 基于FPGA的PCM数字解码系统的设计 [D];电子科技大学; 2003年
 中国博士学位论文全文数据库
 
1王维维; 数字系统形式设计的理论与方法研究 [D];浙江大学; 2004年
 中国重要会议论文全文数据库
 
1汤红山,陆明达; VHDL与数字电路教学 [A];全国电工理论与新技术学术年会(CTEE'2001)论文集 [C]; 2001年
2Stan Krolikoski; Invited Talk Analog VHDL: A New Standard [A];Proceedings 1st International Conference on ASIC [C]; 1994年
3郭晏强,熊莉英; 利用Handel-C和VHDL语言设计FPGA应用 [A];第九届全国青年通信学术会议论文集 [C]; 2004年
4Douglas L Perry; Introduction to VHDL [A];Proceedings 1st International Conference on ASIC [C]; 1994年
5杨虹,牛旭花; A/D采样控制器的设计 [A];2006通信理论与技术新进展——第十一届全国青年通信学术会议论文集 [C]; 2006年
6牛旭花,侯华敏,支凌云,杨虹; A/D采样控制器的设计 [A];第九届全国青年通信学术会议论文集 [C]; 2004年
7皇甫宜耿,马瑞卿,杨永亮; CPLD在无刷直流电动机控制器中的快速开发与应用 [A];2006中国电工技术学会电力电子学会第十届学术年会论文摘要集 [C]; 2006年
8蒋贤哲,王莉; 延时电路的VHDL设计 [A];中国自动化学会、中国仪器仪表学会2004年西南三省一市自动化与仪器仪表学术年会论文集 [C]; 2004年
9李敏杰,李云飞,司国良,郭永飞; 基于FPGA的一种长线阵CCD驱动时序电路设计 [A];2006年国防光学及光电子学学术研讨会暨中国兵工学会光学专业委员会成立25周年年会论文集 [C]; 2006年
10 AUTOMATIC GENERATION AND TEST OF VHDL PARSER [A];Proceedings 1st International Conference on ASIC [C]; 1994年
 中国重要报纸全文数据库
 
1电子科技大学 王祎磊; 可编程ASIC设计入门(三) [N];电子报; 2005年
2陕西 李云; 集成电路设计浅谈 [N];电子报; 2005年
 相关期刊
 >  Acta Mathematicae Applicatae Sinica
 >  Analysis in Theory and Applications
 >  Annals of Differential Equations
 >  Applied Mathematics:A Journal of Chinese Universities(Series B)
 >  Chinese Annals of Mathematics
 >  纯粹数学与应用数学
 >  高等学校计算数学学报
 >  Journal of Computational Mathematics
 >  Northeastern Mathematical Journal
 >  Numerical Mathematics(Theory,Methods and Applications)
 >  数理统计与应用概率
 >  数学季刊
 >  数学进展
 >  数学年刊A辑(中文版)
 >  数学学报
 >  数学研究
 >  数学研究与评论
 >  数学杂志
 >  应用泛函分析学报
 >  运筹学学报
 相关机构
 > 浙江科技学院
 > 浙江大学超大规模集成电路设计研究所
 > 浙江杭州
 > 湖北民族学院电气工程系
 > 广东工业大学
 > 广东技术师范学院
 > 广东广州
 > 山东科技大学信息科学与工程学院
 > 山东
 > 福州大学无线电工程系
 > 福州实达电脑股份有限公司
 > 辽阳职业技术学院
 > 辽阳
 > 西安文理学院机械电子工程系
 > 陕西西安
 > 汕头大学电子工程系
 > 汕头
 > 陕西理工学院电信工程系
 > 汉中
 > 解放军理工大学通信工程学院
 > 宁波大学通信技术研究所
 > 浙江宁波
 > 南京
 相关作者
 > 刘云仙
 > 杨庆
 > 张沙清
 > 韩进
 > 齐现英
 > 郭文进
 > 张晓琦
 > 郭东道
 > 郭毅杰
 > 王战备
 > 励金祥
 > 张剑峰
 > 王维维
 > 刘科峰
 > 田丰
 > 程勇
 > 杨秀芝
 > 张淼
 > 邱军兴
 > 柳平
 > 郑春来
 > 苏勇
 > 何加铭