论文部分内容阅读
用形式化的方法描述了硬件描述语言Verilog的语法和语义,建立了一个Verilog的操作语义模型.分别用二元组和四元组描述Verilog非并发和并发成分的状态,刻画了不同语句的状态转换规则,并用实例描述了并发程序的执行过程,证明了该操作语义模型的正确性.
一种Verilog的操作语义
【摘 要】
：
用形式化的方法描述了硬件描述语言Verilog的语法和语义,建立了一个Verilog的操作语义模型.分别用二元组和四元组描述Verilog非并发和并发成分的状态,刻画了不同语句的状态转
【机 构】
：
华东理工大学计算机科学与工程系
【出 处】
：
华东理工大学学报(自然科学版)
【发表日期】
：
2005年4期
其他文献
提出了一种基于蚁群聚类的模糊神经网络算法,神经网络采用RBF网络结点结构,聚类采用二级结构蚁群聚类算法作为一级聚类而模糊C-均值聚类(FCM)用于二级聚类.将上述聚类方法用
在Tecton语言对面向概念的构件进行形式化规范的基础上,创建了Viokt验证系统对构件的性质进行自动验证.Viokt系统是基于重写技术的验证工具,其主要目的是辅助用户发现和理解
为了研究旋流管的分离性能，应用计算流体力学（CFD）方法对旋流管内的旋转湍流流场进行了数值模拟，获得旋流管内的浓度分布、滑移速度和粒级效率曲线。计算结果显示：随着进口流量的
以甲醇裂解和甲醇水蒸气重整制氢作为平行的独立反应，CO、CO2为关键组分，建立了甲醇催化重整制氢反应器的二维数学模型，用正交配置法计算了催化床内各组分浓度及床层温度随径向
阐述了在变频调速系统中运用变压变频技术的必要性,分析了使用传统余弦交点法进行在线变压变频存在的缺陷,进而提出了基于双变量控制原理、自然无环流控制和对称余弦法的变压
在分析了虚拟企业访问控制需求的基础上,扩展传统的基于角色的访问控制模型(RBAC),定义了一种跨企业RBAC(CE-RBAC)模型,该模型能在虚拟企业环境中方便地实现跨企业的安全访问
针对高维输入小波网络的初始参数和网络结构非常复杂且计算量大的1＇7题，提出用支持向量机（SVM）确定小波网络的初始参数和网络结构的方法。首先，使用有监督模糊聚类算法从聚类中抽
提出了一种基于理想EOG曲线的处理算法从包含噪声和非线性漂移的EOG信号中提取扫视运动发生时眼球的位置数据。其基本思想是,根据眼运动的特点构造理想EOG曲线模型;基于理想EOG曲线提取特征值,根据特征值分类提取位置数据。通过一个实验讨论了算法的有效性,实验证明对扫视运动偏转角的提取可以精确到4°。
采用纳滤膜考察了操作压力、不同的料液浓度、流量改变和浓缩过程对两性表面活性剂N,N-二甲基十二烷基甜菜碱(BS-12)中盐的脱除和BS-12浓缩效果的影响.实验结果表明:在操作压
讨论了密集目标环境下跟踪门门限对多目标跟踪系统性能的影响。在略去杂波的情况下，以方差压缩比作为跟踪系统性能的衡量指标，对跟踪门性能进行了理论分析。给出了矩形跟踪门配