本书从最高层次的系统级验证直至最终的物理实现和签付，详细介绍了各种设计抽象级别和各阶段所涉及到的各种验证方法及工具。主要内容包括各种不同类型的仿真、软件/硬件协同验证、数字/模拟混合验证、网表静态验证、物理验证、测试平台迁移、形式模型与等价性检查、代码静态检查与代码覆盖状况分析、定向随机测试等验证技术。本书以蓝牙系统芯片为例，各章中有结合实际的代码和脚本可供读者参考，以帮助读者进一步深入理解。本书内容全面、翔实，可作为从事系统芯片设计的工程人员、研究者和高等院校相关专业师生的参考材料，对于从事传统集成电路设计和验证的人员有较高的指导和借鉴价值。

本书全面介绍了新型64位安腾体系结构及其具有突破性的性能。通过使用标准命令行工具和大量实例，循序渐进地介绍了安腾汇编语言，并结合当代计算机体系结构的发展，详细阐述了安腾体系结构设计。本书涵盖的内容包括：·显式并行指令计算（EPIC）的潜能·安腾体系结构中的创新，例如寄存器栈引擎（RSE）和广泛使用的谓词等·过程调用以及过程调用机制·浮点操作·I/O技术，包括从简单的调试到文件的使用等·开主和源码、Intel和HP-UX编译程序的输出优化本书每章都包括翔实的数字、论述以及编程练习，并且提供了大量的参考文献和丰富的网上资源。本书可作为计算机及相关专业学生学习计算机体系结构或汇编语言的教材，也是研究人员系统了解安腾体系结构的必备资源。

本书介绍微型计算机各主要组成部分的工作原理和工程上的实现方法。内容上强调基本概念，以及分析问题和解决问题的方法。在说明一些常用的典型接口芯版的基础上，重点介绍利用这些概念和方法设计常见外设的接口。通过本书的学习，读者能够独立地设计一个小的微型计算机系统。 本书适合作为高等院校非计算机专业的教材，也可供其他技术人员参考。

本书是公安机关刑事侦查卷宗制作及其组装的业务性指导用书。全书共分三部分。第一部分本质篇，设五章，将公安刑事法律文书与办案程序、文书制作、刑事案卷及案卷组装规范有机结合，具体阐述；第二部分模式篇，清晰展示刑事侦查卷宗模式范本两册，并附有制作或使用提示语，一读即通；第三部分规范篇，是法律文上和立案归档相关规定的选录。该书对提高公安机关刑事办案质量及办案人员的业务知识和技能水平将起到积极的作用。

本书详细讲述了CMOS数字集成电路，反映了现代技术的发展水平，提供了电路设计的最新资料。本书共有十五章。前八章详细讨论了MOS晶体管的相关特性和工作原理、基本原理、基本反相器电路设计、组合逻辑电路及时序逻辑电路的结构与工作原理；第9章介绍应用于先进VLSI芯片设计的动态逻辑电路；第10章介绍先进的半导存储电路；第11章介绍低功耗CMOS逻辑电路；第12章介绍双极型晶体管基本原理和BiCMOS数字电路设计；第13章详细介绍芯片的I/O设计；第14章和第15章分别讨论电路的可制造性设计和可测试性设计这两重要问题。本书是现代数字集成电路设计的理想教材和参考书。可供与集成电路设计领域有关的各电类专业的本科生和研究生使用，也可供从事集成电路设计、数字系统设计和VLSI设计等领域的工程师参考。

本书以PC系列微机为核心，深入系统地阐述了微机系统的基本工作原理、各种输入/输出及外设接口技术的原理和应用。主要内容有：微处理器和危机的基本结构，汇编语言程序设计，输入/输出接口技术，半导体存储器及其接口技术，DMA技术，中断技术，定时与计数技术，并行接口，串行接口，模拟接口与常用外设接口，微机总线与接口标准，实用附录等。本书内容丰富，实用性强，既介绍了基本的接口技术，又加入了大量实际工作中的应用实例；既注重基本原理的讲解，又介绍了现代微机的结构、原理以及很多新技术。本书可作为高等院校电子信息和计算机专业教材，也可作为成人高等教育的培训教材或自学参考书，对工程技术人员也具有参考价值。

本书共9章，深入浅出地论述了微机的工作原理、接口技术及汇编语言程序设计方法。内容包括：微型计算机概述、80x86微处理器、8086指令系统、汇编语言的程序设计（其中包括了汇编语言的程序框架、上机过程、分支程序、循环程序、子程序设计及汇编语言与高级语言C的混合编程）、存储器系统、输入/输出及中断系统、可编程接口芯片及应用（其中包括并口、串口、A/D和D/A接口的工作原理及接口电路的软件、硬件设计）、键盘和LED显示电路的设计及总线技术。本书内容丰富、通俗易懂，富有大量实例，适合作为计算机、自动控制、电子工程、机电工程及信息技术等专业学生的教学用书，也适合于所有从事微机及其应用系统设计的科技工作者自学。

本书详尽介绍了MCS-51系列单片机的硬件结构、指令系统、程序设计、中断系统、系统扩展、接口技术及应用等内容。在内容安排上坚持改革与创新相结合，强调实践性和应用性，重在方法的介绍，旨在锻炼学生的综合、分析能力和基本技能的培养。本书所有例题均上机调试通过。本书语言通俗、结构紧凑，具有一定的系统性和实用性，可作为高等院校电类、机类、机电类及计算机类各专业的单片机教材，也可作为单片机爱好者的自学教材。单片机技术是一门应用性很强的专业课，其理论与实践技能是从事电类、机类、机电类及计算机类专业技术工作的人员所不可缺少的。理论与实践的密切结合，是本课程的重要特点。多年来，我们在单片机技术课程的教学中，一直采用教、学、做相结合的教学模式，效果令人满意。由于计算机技术发展很快，社会迫切要求相关专业学生掌握新技术、新器件的应用。为了适应我国高等教育发展的需要，我们编写了本书，以满足自动化、电子工程、信息技术及机电技术类各专业教学要求。本书的配套教材《单片机原理及接口技术实践教程》可帮助师生完成实践环节的训练。本教材主要以当前仍处于主流地位的MCS-51单片机为主进行介绍，编写中尽量做到能反映当今单片机应用的最新技术，本书不仅注重学生在应用方面的训练，同时又重视基本知识的讲解。本书语言通俗、结构紧凑，具有一定的系统性和实用性，可作为电类、机类、机电类及计算机类各专业的单片机教材，也可作为单片机爱好者的自学教材。本书由胡健主编，刘玉宾、朱焕立、刘瑞新、孔昭平、杜广朝、万书栋、李小雄、何瑞、吴丽、范文军、郭红山、王留奎、赵转丽、李开先、商坤等编写，刘瑞新审。本书在编写过程中得到了许多同行的帮助和支持，提出了许多宝贵意见和建议，在此向他们表示感谢。由于编者水平有限，加上时间仓促，书中难免有错误与不妥之处，请广大读者批评指正。

本书围绕如何高效使用FANUCi系统所提供的功能，对数控机床进行高效快速的日常维修保养作业、故障快速诊断与排除这一主题。通过详细的图解实例对FANUCi-MA数控系统与维修相关的功能进行说明，让读者了解与保养和维修作业相关的每项操作的具体方法，并对FANUCi-MA数控系统硬件的基本组成作了深入浅出的讲述，从而使读者对FANUCi-MA数控系统软、硬件方面有一个全面的认识。本书适合于从事数控机床，特别是刚接触FANUC系统的维修技术人员阅读参考。FANUC（发那科），当今业界的一个响当当的名牌。以其出色的性能，满足了广大用户的各种需要。北京发那科机电有限公司于2年推出了高质量、高性能价格比的CNC系统：BEIJING-FANUCi系列。该系统提供了丰富而先进的功能，特别适用于加工中心、数控铣床和数控车床。在实际使用中，i系统以其可靠性好、体积小、功能强的特性得到了数控机床厂和最终用户的青睐。本书围绕如何高效地使用FANUCi系统所提供的功能，对数控机床进行高效1J陕速的日常维修保养作业、故障快速诊断与排除这一主题。以FANUCi-MA数控系统为例，通过详细的图解实例对FANUCi-MA数控系统与维修相关的功能进行说明，让读者了解与保养和维修作业相关的每项操作的具体方法。书中对FANUCi-MA数控系统硬件的基本组成作了深入浅出的讲述，使读者对FANUCi-MA数控系统软、硬件方面有一个全面的认识。本书每章的开头都指定了学习目标，接着详细介绍完成目标所需要的操作，使读者全面掌握FANUCi-MA数控系统提供的与维修相关的功能，从而有效地提高数控机床保养维修作业的效率。本书力求简明扼要、图文并茂、通俗易懂，适合于从事数控机床，特别是刚刚接触FANUC系统的维修技术人员阅读参考。尽管我主观上想努力使读者满意，但书中肯定会有不尽人意之处，我热忱欢迎关心爱护它的读者提出宝贵的意见和建议。

本书从实际应用出发，介绍PLC的结构、原理及功能等基础知识，重点介绍美国GE公司生产的GE-1系列PLC和我国上海香岛机电制造有限公司生产ACMY系列PLC的硬件构成、控制指令和编程方法；书中结合机电控制的大量实例，介绍PLC在逻辑控制、开关量和数字量控制中的应用及其程序设计方法；还讨论了包括辅入辅出接口在内的PLC控制系统方案设计、硬件配置、软件编程及系统调试方法和技巧等PLC应用技术。本书简明易懂，重点突出，实用性强，配有习题和实验，可以作为高等工科院校、电大、业余大学及高等职业技术院校机械、可以作为高电一体化专业学生的教学用书，也可以供从事机电一体化和生产过程控制的工程技术人员应用PLC技能时参考和使用。