作者投稿和查稿 主编审稿 专家审稿 编委审稿 远程编辑
Verilog语义的ASM表示方法研究
胡燕翔;
Research on the Formal Semantics of Verilog Based on ASM
HU Yanxiang;
计算机工程 . 2006, (21): 1 -2,21 .  DOI: 10.3969/j.issn.1000-3428.2006.21.001