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

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的权威使用手册，适用于天正给排水设计软件的用户。[看更多]

本书主要以产品实例为线索讲解Alias Studio 12软件，希望读者能从精选的典型产品和典型曲面形体的建构中学习正确的建模思路和方法，以达到触类旁通的目的。同时，为了提高产品方案后期渲染表现的水平，本书在最后三章安排了Alias ImageStudio 2软件进行产品渲染的实例教学，以便使工业设计人员在建模和渲染这两手都能硬起来。本书在编写的过程中，主要参考了Alias原版资料教程和高级用户手册，也学习了国内已出版发行的部分相关书籍，同时还借鉴了Alias官方网站和博网工业设计论坛的部分精华内容Alias Studio是世界一流的计算机辅助工业设计（CAID）软件，在工业设计、动画、雕塑、建筑艺术及室内设计等领域发挥着重要的作用。本书内容由Alias Studio产品建模和Alias ImageStudio渲染两大部分构成，Studio建模部分有八章（基础操作、鼠标建模、手机建模、塑料瓶建模、电筒建模、轮毂建模、rap3建模、轿车建模），ImageStudio渲染部分有三章（渲染基础、直升机渲染实例、摩托车渲染实例）。书中包含了NURBS曲面、梳状线、G0—C4连续、典型产品建构思路和方法、典型曲面建构思路和方法、曲率检测、HDPI环境等大量设计概念和技巧的讲解。本书既可作为高等院校工业设计专业的计算机辅助设计课程教学使用，也可供工业设计师和设计爱好者参考和阅读。

《Mastercam X中文版三维设计入门与实例进阶（附光盘1张）》以最新的Mastercam x中文版本为蓝本进行编写，以应用为主线，由浅入深、循序渐进地介绍Mastercam设计模块中的操作入门、平面图形设计、尺寸标注、曲线曲面造型和实体造型等模块的应用和产品设计的综合应用。全书共分为5章，依次介绍了使用Mastercam进行三维设计所必须掌握的平面图形设计、尺寸标注、曲面造型和实体造型等内容。第1章Mastercam操作入门。本章将详细介绍Mastercam的基本操作方法，包括文件操作、视图操作、图素操作、系统环境设置等内容，这些内容是有效应用Mastercam的CAD和CAM高级内容的重要基础，读者需要切实掌握，从而能够为灵活使用Mastercam打下坚实的基础。第2章平面图形。本章首先以一个实例的详细绘制过程，向读者介绍二维图形绘制的一般方法，获得对Mastercam x系统的平面图形绘制的感性认识。本章的主要内容是详细介绍平面图形绘制的主要功能，包括点、直线、圆弧、特殊图形和样条线的绘制，以及图形编辑、图形转换等重要功能。在介绍功能的过程中，提供了一些小练习供读者练习使用，以巩固所学知识。本章最后提供了4个应用实例，通过详细的步骤解释以及演示动画，帮助用户从整体上理解平面图形绘制的方法及技巧等。第3章尺寸标注。本章以一个实例详细介绍尺寸标注的方法及流程，在读者获得尺寸标注的感性认识之后，详细介绍尺寸标注、文字注释等功能的应用。最后提供了两个应用实例，进一步提高尺寸标注及文字注释的综合应用能力。第4章　曲线曲面造型。本章首先通过一个例子的详细操作讲解，给读者一个曲面造型的感性认识。然后详细介绍曲面造型的各项功能，包括基本曲面的建立、由曲线创建曲面、曲面编辑、曲面曲线等内容。之后又通过一个应用实例，综合应用曲线曲面造型的各项功能，进一步提高这些功能的应用水平。最后还给出了自由曲线曲面的基本原理，作为读者学习的参考。第5章实体造型。本章首先以一个基座零件的建模为入门引例，向读者详细介绍了Mastercam实体造型的基本流程和思路，给读者一个比较感性的认识。本章的主要内容是介绍实体的建立、布尔运算和编辑功能。通过详细的功能讲解，使读者基本能够掌握实体造型的基本方法和参数设置，最后以一个手表模型作为进阶实例，综合演练了实体造型的方法和技巧。

Rhino作为专业建模软件，被广泛应用于工业设计、CAM（计算机辅助制造）、三维动画等美术设计领域，具有精确性、相容性、高效性、易用性、经济性等特点，可以创建任何想象中的造型。.本书为作者多年创作经验的提炼和总结，共分为17章，详细讲解了运用Rhino进行各种工业造型设计的过程和技巧。第1章为概述，简单介绍了Rhino与工业设计的关系；第2～17章分别介绍了人体美工刀、F1钥匙扣、Z型笔筒、MINI三脚架、手机、U盘、浴缸、梳妆卫裕、读卡设备、银行提款机、多士炉、家用暖风机、工业暖风机、数码机床、简易四轮车、仿生沙滩车等的制作方法。为了巩固书中知识点，本书还在相应章节后面设计了拓展实例，方便读者进一步熟悉所学，并融会贯通。..本书特点：由浅入深，循序渐进；步骤详细，讲解清晰；实例典型，精美实用。适用对象：工业造型设计、美术设计等相关行业广大从业人员和三维制作爱好者，也可作为高等院校相关专业和社会培训班使用教材。本书配套光盘为书中部分实例的素材文件、源文件及效果图文件。...

Rhino 3D是最为先进的专业NURBS建模软件之一，拥有简洁的操作界面和强大的功能，与其他高价的3D软件相比，毫不逊色。该软件在产品、家具、珠宝等领域得到越来越广泛的应用，由于在学校教育中也作为教学软件而变得更加普及。.本书的主要内容来自产品设计专业学生的授课资料，首先介绍了Rhino 3D软件的基本功能，然后通过经典实例介绍了综合使用各种功能进行工业产品设计的流程、方法及技巧。为了使书中的实例可以真正对读者有所帮助，作者选择了ALESSI公司6种经典的生活用品设计作为建模实例，不仅可以帮助读者轻松掌握软件的各项功能，同时可以提高读者的审美能力，激发创作灵感，从而设计出外观更加独特的产品。...

本书基于最新的PowerMILL 6．0版本编写。全书分为5章，每章一个综合实例，涉及固定轴铣削、变轴铣削及2．5维区域清除等方面的内容。每个实例都以本例要点、模型分析与工艺规划开始，再以Step by Step的方式讲述详细的操作步骤，最后在本例总结中对本章所涉及的知识点、重要技巧等进行归纳总结。全书还穿插有大量的技巧、说明、警告等特色段落，以融入各种实用技巧与技术细节。配套光盘中包括本书所使用的实例模型以及部分实例的多媒体演示文件，本书读者还可通过51CAX培训网进行答疑。.本书是《PowerMILL数控编程基础教程》的姐妹篇，可作为初步掌握PowerMILL的工程技术人员使用，也可作为其他数控编程人员学习CAM编程的自学教材和参考书。...

本书根据作者多年高校EDA教学、研发经验，借助近200个专业案例，全方位介绍VHDL语言及其在电路设计中的各种应用。本书内容按“基础一电路部件设计一集成电路设计”的顺序进行讲解，基础部分（第l~4章），涉及EDA技术概况、数字逻辑电路设计基础和传统设计方法、VHDL语言的基本知识和程序结构；电路部件设计部分（第5～7章 ），用72个电路设计案例介绍使用VHDL语言设计组合逻辑电路、时序逻辑电路和有限状态机；集成电路设计部分（第8～10章），第8章借助14个例子介绍用VHDL语言进行复杂数字系统设计的思想、手段、流程和方法，第9章介绍仿真、综合与优化，第lO章讲述如何用当前最流行的EDA工具软件 Quartu5II进行电路设计。各章采用先介绍技术，再用相关电路设计实例演示其应用，并在最后指出其应用场合，实用性强。本书可作为高等院校电子、通信、计算机、自动化、仪器仪表等专业开设EDA课程的教材，也可作为电子设计工程师的实用参考书。