验证是制造出功能正确的芯片的必要步骤，是一个证明设计思路是如何实现的过程。本书首先介绍验证的基本概念和各种工具，验证的重要性和代价，比较了不同的验证方法，以及测试和验证的区别。然后从方法学的角度探讨了验证的策略和层次，介绍了覆盖率模型和如何制定完整的验证计划。在验证的方法和技术方面，本书引入了硬件验证语言（HVL），讨论了使用行为描述进行高层次建模的方法，介绍了施加激励和监视响应的技术，以及通过使用总线功能模型把物理层次的事务抽象为更高层次的过程，并结合各种测试语言讲解了仿真管理的各个要素。本书提出了覆盖率驱动的受约束的随机事务级自检验测试平台，并围绕这种结构对其中各个部分原理及设计要素进行了系统的讨论。本书还介绍了如何编写自检验测试平台、设计基于总线功能模型的随机激励发生器。 .本书适合于从事ASIC、SoC及系统设计与验证的人员阅读。...

本书以Cinema 4D V9.521版本为基础，对Cinema 4D的基本功能和工业产品渲染技术作了详细地阐述。本书内容可分为两部分，第1章至第7章主要介绍Cinema 4D的各功能模块的命令与参数，并结合了一些针对性强的小场景进行讲述，第8章和第9章则主要通过具体的实例综合介绍了工业产品的渲染技法。　本书结构清晰，功能讲解部分系统全面，实例讲解部分精彩实用，既可作为工具手册随时查阅，又具有一定的学习和参考价值。　本书适合Cinema 4D的初中级读者阅读，同时也可供对造型渲染技术感兴趣，或主修工业设计专业的读者参考阅读。

本书以实例讲解的方式对HDL语言的设计方法进行介绍。全书共分9章，第1章至第3章主要介绍了Verilog HDL语言的基本概念、设计流程、语法及建模方式等内容；第4章至第6章主要讨论如何合理地使用Verilog HDL语言描述高性能的可综合电路；第7章和第8章重点介绍了如何编写测试激励以及Verilog的仿真原理；第9章展望HDL语言的发展趋势。　本书配有一张光盘，光盘中收录了书中示例的工程文件、设计源文件及说明文件等。另外为了配合读者进一步学习，光盘中还提供了Verilog 1995和Verilog 2001这两个版本的IEEE标准文献，读者可以从中查阅Verilog的语法细节。　本书围绕设计和验证两大主题展开讨论，内容丰富，实用性强，可作为高等院校通信工程、电子工程、计算机、微电子和半导体等相关专业的教材，也可作为硬件工程师和IC工程师的参考书。

TElec 7.0是天正电气设计软件的最新版本，是以美国Autodesk公司开发的软件AutoCAD为平台，在国内被广泛应用的优秀国产电气设计软件。　本书系统地介绍TElec 7.0的各项功能，全面地讲解TElec 7.0的使用方法和技巧。　本书结构清晰，内容丰富，是天正电气设计软件TElec 7.0的权威使用手册，适用于天正电气设计软件的用户。

TArch 7.0是天正建筑软件的最新版本，是以美国Autodesk公司开发的软件AutoCAD为平台，在国内被广泛应用的优秀国产建筑设计软件。　本书系统地介绍了TArch 7.0的各项功能，全面讲解了TArch 7.0的使用方法和技巧。　本书结构清晰，内容丰富，是天正建筑软件TArch 7.0最具权威的使用手册，适用于天正建筑软件的用户。

TWT 7.0是天正给排水设计软件的最新版本，是以美国Autodesk公司开发的软件AutoCAD为平台，在国内被广泛应用的优秀国产给排水设计软件。本书系统地介绍TWT 7.0的各项功能，全面地讲解TWT 7.0的使用方法和技巧。本书结构清晰，内容丰富，是天正给排水设计软件TWT 7.0的权威使用手册，适用于天正给排水设计软件的用户。[看更多]

本书主要讲解室内外效果图的渲染与表现技法，全书共分为3个部分，即Lightscape部分、Vray部分和Maxwell部分，通过15个作者在实际工作中运用的案例场景来完成三大渲染利器的各项知识点的讲解。书后附录给出了Lightscape操作的常见问题解析。本书融入了作者多年的工作经验和实际操作技巧，并亲自动手录制了典型案例的视频操作录像，同时还在光盘中附赠了大量实际工程的场景模型文件，有利于读者更快速地掌握各部分的知识点与操作方法。本书适合学习效果图设计的初、中级读者阅读，可以帮助读者最直观地感受设计师的工作过程和经验技巧。[看更多]

本书从自学者的角度精心编排内容，通过详尽的图示讲解和步骤说明，带领读者进行操作和应用，从而达到熟练应用Mastercam X的目的。.本书内容浅显易懂，适合初学者或具有一定基础者阅读，能帮助读者快速上手、轻松学习。本书采用Mastercam X版作为教学平台，但对于Mastercam其他版本的使用者（为了使读者在其他版本上也能顺利使用，配套光盘同时提供。．MCX和*．MC9两种格式的实例源文件），亦可学习使用。本书适用于大中专院校相关专业师生以及相关专业人士参考使用。...

本书是指导初学者学习Altium Designer 6.0的入门书。书中主要介绍了绘制原理图、PCB图及创建元件库的基础知识，同时还介绍了仿真及FPGA设计的相关知识，最后通过一个完整的制作电路板的实例，加深读者对所学内容的理解。.本书内容丰富、结构清晰、语言简练、实例众多，不仅可以作为电子、自动化设计等相关专业人员的学习和参考用书，也可作为各大、中专院校相关专业和培训班的教材。..本书配套光盘包括所有实例的素材和多媒体教学软件，并配以语音同步讲解，能够更好地帮助读者快速掌握Altium Designer 6.0的应用方法。...

本书主要以实例的方式对使用PowerMILL 6.0进行数控编程与加工的方法和技巧进行详细讲解。全书共分7章，第1章主要介绍PowerMILL 6.0软件的功能及安装方法；第2章主要介绍编制刀具路径前的准备工作，包括加工模型的装载、毛坯的定义、坐标系的确定、模型的编辑和加工模型的测量等内容；第3章主要对二维刀具路径的功能进行介绍；第4章主要对三维刀具路径的功能进行介绍；第5章介绍了多轴加工的应用方法和技巧；第6章介绍了NC程序的产生与编辑；第7章综合地介绍了PowerMILL 6.0模具数控编程与加工的方法和技巧。本书内容翔实，图文并茂，选例典型，针对性强，叙述言简意赅。全书配合教学范例和动画演示光盘，帮助读者快速、全面地掌握模具数控编程与加工的方法和技巧。本书适合初学PowerMILL 6.0编程或想进一步提高编程水平的读者阅读，也可作为从事数控编程与加工的工程设计人员以及高等院校相关专业师生的参考书。