期刊文献+

硬件描述语言VHDL指称语义的研究 被引量:3

The Study of Denotational Semantics of VHDL
下载PDF
导出
摘要 VHDL是一种广泛使用的硬件描述语言。但长期以来缺乏严格的形式语义。文章介绍并分析了若干具有代表性的VHDL指称语义的研究工作。在此基础上,简要介绍了作者提出的基于时段逻辑的VHDL语义的框架时对VHDL指称语义的看法。 VHDL is one of the IEEE-standard hardware des-cription languages.Several formal dano-rational semantics were analyzed here.Some considerations based on duration calculus are presented when we define a new framework for VHDL denotational semantics.
出处 《微电子学与计算机》 CSCD 北大核心 2002年第11期61-64,共4页 Microelectronics & Computer
关键词 硬件描述语言 VHDL 指称语义 时段逻辑 程序设计语言 VHDL,Denotational semantics,Duration calculus
  • 相关文献

参考文献1

  • 1侯伯亨 顾新.VHDL硬件描述语言与数字逻辑电路设计(修订版)[M].西安:西安电子科技大学出版社,1999..

共引文献11

同被引文献17

  • 1牛振东,徐嵩杰,刘明业.VHDL语言分析器的设计与实现[J].计算机学报,1994,17(10):777-785. 被引量:10
  • 2王峰 涂航 李元香.一种基于遗传程序设计的硬件电路演化方法.武汉大学学报:信息科学版,2004,29(8):47-47.
  • 3David Albert. Evolutionary Hardware Overview[DB/OL]. http://www.cs.iastate.edu/-baojie/acad/reference,2004-03.
  • 4IEEE. IEEE Stand VHDL Language Reference Mannual[C]. New York, Institute of Electrical and Electronic Engineers, 1994.
  • 5IEEE.IEEE Stand VHDL Language Reference Manual ANS/IEEE,Std1076-1993[S].Institute of Electrical and Electronic Engineers,NewYork,1994.
  • 6IEEE.IEEE Standard Hardware Description Language Based on the Verilog Hardware Description Language[S].IEEE Std 1364-1995,1996-10.
  • 7D Cloos,et al.Formal Semantics for VHDL[M].Kluwer Academic Publishers,Madrid,Spain,1995-03.
  • 8Kothanda Umamageswaran,et al.Formal Semantics and Proof Techniques for Optimizing VHDL Models[M].Kluwer Academic Publishers,1999.
  • 9Karen C Davis.A Denotational Definition of the VHDL Simulation Kernel[A].In D.Agnew L Claesen,R Camposano.Computer Hardware Description Languages and their Applications[M].Elsevier Science Publishers B.V.North-Holland,1993.
  • 10Dominique Borrione,et al.Denotational Semantics of a Synchronous VHDL Subset[J].Formal Methods in system design,.Kluwer Academic Publishers,1995,7(3):53-71.

引证文献3

二级引证文献2

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部