期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
Verilog语义的ASM表示方法研究
被引量:
2
1
作者
胡燕翔
《计算机工程》
EI
CAS
CSCD
北大核心
2006年第21期1-2,21,共3页
使用抽象状态机模型(ASM)对Verilog的语义进行研究,给出各类赋值语句和延迟/事件控制结构的形式定义。以此为基础与VHDL进行对比,说明各种赋值语句和延迟/事件控制结构向VHDL的转换方法以及二者在转换前后的差异。
关键词
verilog语义
抽象状态机
延迟/事件控制
下载PDF
职称材料
题名
Verilog语义的ASM表示方法研究
被引量:
2
1
作者
胡燕翔
机构
天津大学电子信息工程学院
出处
《计算机工程》
EI
CAS
CSCD
北大核心
2006年第21期1-2,21,共3页
基金
国防基础科研基金资助项目
文摘
使用抽象状态机模型(ASM)对Verilog的语义进行研究,给出各类赋值语句和延迟/事件控制结构的形式定义。以此为基础与VHDL进行对比,说明各种赋值语句和延迟/事件控制结构向VHDL的转换方法以及二者在转换前后的差异。
关键词
verilog语义
抽象状态机
延迟/事件控制
Keywords
verilog
formal semantics
Abstract states machine
Delay/Eevent control
分类号
TP312 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
Verilog语义的ASM表示方法研究
胡燕翔
《计算机工程》
EI
CAS
CSCD
北大核心
2006
2
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部