【摘 要】
：
给出了Verilog的代数语义.这是一个等式公理体系,它将Verilog语义特征通过代数规则简洁而准确地表达出来;并且这个代数语义相对于已经所作的操作语义模型来讲是可靠的,即所有
【机 构】
：
中国科学院软件研究所,澳门联合国大学国际软件技术研究所,上海交通大学计算机科学与工程系
【基金项目】
：
Supported by the DTfRTS (Design Techniques for Real-Time Hybrid Systems) Project of the International Institute for Software Technology, United Nations University (澳门联合国大学国际软件技术研究所实时混成系统的研究技术研究计划)
论文部分内容阅读
给出了Verilog的代数语义.这是一个等式公理体系,它将Verilog语义特征通过代数规则简洁而准确地表达出来;并且这个代数语义相对于已经所作的操作语义模型来讲是可靠的,即所有的这些代数规则左右两边的进程在操作语义的观察模型下都是互模拟的.研究了此代数语义的相对完备性,即参照前面的操作语义模型,相对于扩展Verilog语言的一个子集而言,此代数语义是完备的.即所有符合这样语法的程序,如果它们是互模拟等价的,那么它们同样可以在所提出的代数系统中被推导相等.在完备性证明过程中,采用范式方法,即构造一种语法上特殊的程序,任何属于上述子集中的一个程序通过该代数规则都能够被转化为范式程序,而且范式程序在操作语义模型下是互模拟的当且仅当它们是语法相同的.上述结果具有重要的理论意义,因为现有的进程代数理论主要是针对管道通信并行语言而展开的,而对于像Verilog这种以共享变量通信为基础的复杂并行语言研究还是比较少的,对此类复杂的基于共享变量的并行语言的进程代数理论研究提出了一种通用、有效的方法.
其他文献
2009年12月7日至12月19日,联合国气候变化大会如期举行,彼时全球媒体的目光都投向了哥本哈根,国内媒体也不例外。本文以媒介框架为理论工具,通过分析《人民日报》和《南方都
广告摄影是科技、艺术、文化的综合体,是集实用性、技术性、艺术性于一身的特殊摄影门类,是艺术价值的市场体现。在现代经济迅速发展的社会大背景下,广告摄影的信息充斥社会
明德中文暑校的成功对美国的汉语教学和中国国内的汉语教学有着重要的意义。近些年,出现了一批美国在华中文项目,如：PIB、CIB、HBA、UW等,这些项目脱胎于“明德模式”,主要采
刑法谦抑性理论是现代刑法学中的一项重要理论,其具有紧缩性、经济性、补充性的价值蕴含。在我国两千多年的封建历史中,重刑主义一直占据着法律思想的统治地位,在各种法律规
摘要：在以往的汉语教学研究中,学者们着力研究各国学生在汉语学习中的偏误、差异和特点,并讨论与总结汉语听力教学的特点、任务、教学策略及教学法等,研究较为全面。而在汉语
P2P电子商务系统中恶意节点的存在会破坏系统的正确性和可用性.基于声誉的信任机制通过计算节点的信任度可以识别出恶意节点.这种机制的可用性依赖于信任度的计算方法、信任
在全球经济发展中,创新是最有利的驱动力。为了应对不断变化的全球化格局,众多企业如宝洁、西门子、海尔等纷纷采取全球化开放式创新战略,以不同的方式从外部获取各种科学技
教育学原理要求将内在认识转化为外在行为,又将外在行为转化为内在认识。它将教育活动中最内在的一些东西揭示出来,进而使教师具有一种透视教育活动和自身问题的能力。因此,
工程项目的进度计划编制与管理在项目管理中有着非常重要的地位 ,良好的施工总进度计划能起到“纲举目张”与“协调一致”的作用。因此 ,在工程项目管理中做好施工进度计划编
义务教育是我国国民教育的基础,具有强制性、免费性、普及性等诸多特点。新世纪以来，长春市经济的迅猛发展为教育事业的建设提供了得力保障。义务教育承载着公众素质提升的社