摘要: 使用抽象状态机模型(ASM)对Verilog的语义进行研究,给出各类赋值语句和延迟/事件控制结构的形式定义。以此为基础与VHDL进行对比,说明各种赋值语句和延迟/事件控制结构向VHDL的转换方法以及二者在转换前后的差异。
关键词:
Verilog语义,
抽象状态机,
延迟/事件控制
Abstract: Verilog’s formal semantics using the abstract states machine are studied, and the formal definition of assignment statements and delay/event control mechanism is given. Comparing with Borger’s definition on VHDL, the key methods on how to translate Verilog description to VHDL are explained. In the end, the simulation differences before and after translation are studied.
Key words:
Verilog formal semantics,
Abstract states machine,
Delay/Eevent control
中图分类号:
胡燕翔;. Verilog语义的ASM表示方法研究[J]. 计算机工程, 2006, 32(21): 1-2,21.
HU Yanxiang;. Research on the Formal Semantics of Verilog Based on ASM[J]. Computer Engineering, 2006, 32(21): 1-2,21.