本书系统地介绍了形式化验证的概念和原理，通过丰富的实例生动地展示了形式化验证所需的TCL和SVA语言语法规则。书中以目前广泛采用的RISC-V架构为例，借助新思科技的VCFormal形式化验证工具，全面展示了该工具中常用应用的使用方法、常见问题及其解决方案，为读者提供了从基础知识到高级应用的学习途径，帮助广大的IC工程

本书基于职业岗位能力要求，立足新时代“中国芯”发展的战略需求，精心设计了6个项目，由浅入深、系统全面地介绍集成电路测试相关知识与技能。从集成电路搭建测试环境，到数字芯片和模拟芯片的典型参数测试，再到功能测试和综合电路测试，全方位训练学生的集成电路测试综合技能。在每个项目都引导学生传承工匠精神，将个人理想与民族复兴结合起

本书是根据微电子工艺实验的基本教学要求编写的，秉持“理论与实践并重”的理念，在内容安排上注重对学生实验技能的培养。全书精心设计了12个实验，包括1个工艺仿真基础实验、6个单步工艺实验和5个成套工艺实验。每个实验均配有详细的操作指导，还安排了启发性思考题和拓展实验内容，便于开展分层教学，各校可根据自己的需求选做。本书可作

本书系统阐述硅后验证和SoC调试中所面临的关键挑战、前沿技术与最新研究进展，旨在显著提升验证效率并降低调试成本。本书汇集了硅后验证和调试专家的研究成果：第1章概述SoC设计方法学，并强调硅后验证和调试所面临的挑战；第2～6章描述设计调试架构的有效技术，包括片上设备和信号选择；第7～10章介绍生成测试和断言的有效技术；第

本书为读者提供了深入了解和掌握可制造性设计（DFM）和可靠性设计（DFR）所需的知识和技能。本书首先介绍了CMOSVLSI设计的趋势，并简要介绍了可制造性设计和可靠性设计的基本概念；其次介绍了半导体制造的各种工艺步骤，并探讨了工艺与器件偏差以及分辨率增强技术；然后深入研究了半导体制造过程中的各种制造缺陷及其对电路的影响

本书从应用需求和发展历程出发，以多个名人典故为引导，介绍不同形式的可编程芯片，如CPU、DSP、GPU、NPU、SoC、FPGA、DSA等，通过这些具备编程能力的芯片及相关的开源项目，深入介绍不同类型芯片的架构及编程方式。本书通过开源项目，深入介绍这些芯片的细节，通过芯片追求内功的“可编程性”以及外功的“高性能”这条主

本书主要介绍集成电路设计与仿真，涵盖晶体管级数字集成电路与模拟集成电路设计。内容包括集成电路设计认知、MOS晶体管认知、CMOS反相器设计与仿真、静态组合逻辑门设计与仿真、时序逻辑门设计与仿真、动态逻辑门设计与仿真、电流镜设计与仿真、单管放大器设计与仿真、运算放大器设计与仿真、电压基准源设计与仿真等。

本书是介绍芯片知识的科普图书，全书通过图文并茂的形式串联起一个个主题故事，晦涩的芯片知识被徐徐道来，带领读者轻松了解“点沙成芯”的奥秘。全书共分为五个部分，首先介绍芯片的发展历程，第二部分介绍集成电路的工作原理和分类，第三部分介绍半导体的材料和器件，第四部分介绍芯片的设计、制造和封装测试，最后，对芯片的新进展、新应用及

本书从集成电路设计与工艺的基础实验出发，着重介绍了模拟和数字集成电路设计实验，以及集成电路制造工艺和封装技术，紧密关注集成电路的学术前沿，注重理论与工程实践相结合。全书内容包括：微电子器件实验、模拟集成电路设计实验、数字集成电路设计实验、集成电路版图设计实验、集成电路制造工艺实验、成电路封装工艺实验，以及集成电路综合设

本书聚焦CMOS模拟集成电路版图设计领域，从版图的基本概念、设计方法和EDA工具入手，循序渐进介绍了CMOS模拟集成电路版图规划、布局、设计到流片的全流程。详尽介绍了目前主流使用的模拟集成电路版图设计和验证工具---CadenceIC6.1.7与SiemensEDACalibreDesignSolutions(Cali