成功加入购物车
[美] 帕尔尼卡 (Samir Palnitkar) 著; 夏宇闻 译 / 电子工业出版社 / 2012-05 / 平装
售价 ¥ 12.00 3.1折
定价 ¥39.00
品相 九品
延迟发货说明
上书时间2026-07-08
卖家超过10天未登录
Verilog HDL数字设计与综合
《VerilogHDL数字设计与综合(第2版)》从用户的角度全面阐述了VerilogHDL语言的重要细节和基本设计方法,并详细介绍了Verilog2001版的主要改进部分。本书重点关注如何应用Verilog语言进行数字电路和系统的设计和验证,而不仅仅讲解语法。全书从基本概念讲起,并逐渐过渡到编程语言接口以及逻辑综合等高级主题。书中的内容全部符合VerilogHDLIEEE1364-2001标准。本书适合电子、计算机、自动控制等专业的学习数字电路设计的大学本科高年级学生阅读,也适合数字系统设计工程师和已具有多年Verilog设计工作经验的资深工程师参考。
帕尔尼卡(SamirPalnitkar)目前是美国JamboSystems公司总裁。JamboSystems公司是一流的专用集成电路(ASIC)设计和验证服务公司,专门从事高级微处理器、网络和通信芯片的设计服务。Palnitkar先生曾创办一系列小型的高科技公司。他是IntegratedIntellectualProperty公司的创办人。该公司是一家专用集成电路设计公司,已被LatticeSemiconductor公司收购。后来,他创建了电子商务软件公司0bon90,已被AOLTimeWarner公司收购。
第一部分Verilog基础知识第1章VerilogHDL数字设计综述1.1数字电路CAD技术的发展历史1.2硬件描述语言的出现1.3典型设计流程1.4硬件描述语言的意义1.5VerilogHDL的优点1.6硬件描述语言的发展趋势第2章层次建模的概念2.1设计方法学2.2四位脉动进位计数器2.3模块2.4模块实例2.5逻辑仿真的构成2.6举例2.7小结2.8习题第3章基本概念3.1词法约定3.2数据类型3.3系统任务和编译指令3.4小结3.5习题第4章模块和端口4.1模块4.2端口4.3层次命名4.4小结4.5习题第5章门级建模5.1门的类型5.2门延迟5.3小结5.4习题第6章数据流建模6.1连续赋值语句6.2延迟6.3表达式、操作符和操作数6.4操作符类型6.5举例6.6小结6.7习题第7章行为级建模7.1结构化过程语句7.2过程赋值语句7.3时序控制7.4条件语句7.5多路分支语句7.6循环语句7.7顺序块和并行块7.8生成块7.9举例7.10小结7.11习题第8章任务和函数8.1任务和函数的区别8.2任务8.3函数8.4小结8.5习题第9章实用建模技术9.1过程连续赋值9.2改写参数9.3条件编译和执行9.4时间尺度9.5常用的系统任务9.6小结9.7习题第二部分Verilog高级主题第10章时序和延迟10.1延迟模型的类型10.2路径延迟建模10.3时序检查10.4延迟反标注10.5小结10.6习题第11章开关级建模11.1开关级建模元件11.2举例11.3小结11.4习题第12章用户自定义原语12.1UDP的基础知识12.2表示组合逻辑的UDP12.3表示时序逻辑的UDP12.4UDP表中的缩写符号12.5UDP设计指南12.6小结12.7习题第13章编程语言接口13.1PLI的使用13.2PLI任务的连接和调用13.3内部数据表示13.4PLI库子程序13.5小结13.6习题第14章使用VeriIogHDL进行逻辑综合14.1什么是逻辑综合14.2逻辑综合对数字设计行业的影响14.3VerilogHDL综合14.4逻辑综合流程14.5门级网表的验证14.6逻辑综合建模技巧14.7时序电路综合举例14.8小结14.9习题第15章高级验证技术15.1传统的验证流程15.2断言检查15.3形式化验证15.4小结第三部分附录附录A强度建模和高级线网类型定义附录BPLI子程序清单附录C关键字、系统任务和编译指令附录D形式化语法定义附录EVerilog有关问题解答附录Fverilog举例参考文献译者后记
展开全部
图2
图3
配送说明
...
相似商品
为你推荐
开播时间:09月02日 10:30