Verilog语义的ASM表示方法研究

摘要：

使用抽象状态机模型(ASM)对Verilog的语义进行研究,给出各类赋值语句和延迟/事件控制结构的形式定义.以此为基础与VHDL进行对比,说明各种赋值语句和延迟/事件控制结构向VHDL的转换方法以及二者在转换前后的差异.

关键词：Verilog语义、抽象状态机、延迟/事件控制

所属期刊栏目：32

分类号：TP3(计算技术、计算机技术)

资助基金：国防科工委基础科研项目

在线出版日期：2006-12-18（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：1-2,21