电子技术资料下载
热搜关键词: 机器人电路基础模拟电子技术matlablinux内核
已收藏到:个人中心—我的下载—收藏
Verilog
摘 要:用形式化的方法描述了硬件描述语言Verilog的语法和语义,建立了一个Verilog的操作语义模型。分别用二元组和四元组描述Verilog非并发和并发成分的状态,刻画了不同语句的状态转换规则,并用实例描述了并发程序的执行过程,证明了该操作语义模型的正确性。[著者文摘]
猜您喜欢
上传资源
TI 文字链专区
推荐内容
开源项目推荐 更多
热门活动
热门器件
用户搜过
随便看看
热门下载
热门文章
热门标签
TI 技术论坛
TI 在线培训
Qorvo 射频技术研习社
请先登录EEWorld账户再进行下载哦
新注册用户赠送5积分
您已成功下载!
大家都在看
评论