论文部分内容阅读
使用抽象状态机模型（ASM）对Verilog的语义进行研究，给出各类赋值语句和延迟／事件挖制结构的形式定义。以此为基础与VHDL进行对比，说明各种赋值语句和延迟／事件控制结构向VHDL的转换方法以及二者在转换前后的差异。
Verilog语义的ASM表示方法研究
【摘 要】
：
使用抽象状态机模型（ASM）对Verilog的语义进行研究，给出各类赋值语句和延迟／事件挖制结构的形式定义。以此为基础与VHDL进行对比，说明各种赋值语句和延迟／事件控制结构向VHDL的转换
【机 构】
：
天津大学电子信息工程学院,天津师范大学计算机学院
【出 处】
：
计算机工程
【发表日期】
：
2006年21期
【基金项目】
：
国防基础科研基金资助项目
其他文献
较好地解决了画色多运动规律模型随时连绩切换难题，提出了一套人工鱼的局部运动规律建模与模型的随时连续切换方法。基于该方法开发了一个人工鱼社会行为系统，该系统能表现鱼的
自主计算技术是为了解决软件复杂性危机而提出的一门新兴的研究课题。该文分析了目前自主计算研究的现状和不足，提出了一种自主计算系统的建模方法，给出了自主单元和自主计算系
基于联系国内外智能交通系统研究的具体实际，提出了建立城市智能交通实验研究中心的设想，并结合一个集成了视频和线圈信息采集方式的实验研究中心简单设计方案，对其所具有的基本
网络存储技术的应用使存储系统和存储结构发生了显著的变化。柔性网络化数据存储中心（数据中心）采用基于IP的存储技术，使主机可以绕过服务器直接访问存储设备。该文分析了数据中
提出了一个新的具备安全功能的Ad hoc网多QoS约束的多播路由协议NSQMRAN。该协议采用新型公钥签名算法NTRUSign作为密码机制为路由报文签名,加强了安全性。NSQMRAN为Ad hoc网
摘要针对设施蔬菜连作以及化肥、农药使用量过大存在的问题,研究应用生物秸秆反应堆栽培技术。介绍了设施蔬菜秸秆反应堆栽培技术,并总结了其应用效应,以供参考。 关键词设施蔬菜;秸秆反应堆栽培;应用技术;效应 中图分类号S626文献标识码B文章编号 1007-5739(2010)21-0164-02 由于受经济条件和生产技术的制约,很多地区形成长期连作种植模式,缺少轮作倒茬,对土地重用缺养;在施
约束是RBAC模型中的一组强制性规则，是RBAC的重要组成。目前对约束的研究主要集中在关系约束、前提约束、数值约束、职责分离约束、势约束和时间约束等方面。时间约束是时间变
减少系统的资源消耗是对等网络设计的目标之一。该文对基于聚类的对等网络建立了负载的抽象模型，根据实际系统中采集的数据分析了节点的动态特性，并分别在节点能力相同、节点的
针对多业务MIMO-OFDM系统的下行链路提出了一种基于效用函数的跨层资源分配算法。建立了以效用函数最大化为目的的跨层优化目标,分别设计了语音、流媒体和“尽力而为”三种业
针对满足多个约束条件的服务质量组播路由的特点,提出了一种下一代互联网中基于微分进化算法的柔性QoS组播路由算法。给出了QoS组播路由问题模型及其数学描述,针对NGI中QoS参