资深验证专家刘斌（路桑）向您全面介绍芯片验证，从验证的理论，到SystemVerilog语言和UVM验证方法学，再到高级验证项目话题。这本综合性、实用性的验证理论和编程方面的图书，针对芯片验证领域不同级别的验证工程师，给出由浅入深的技术指南：学习验证理论来认识验证流程和标准，学习SystemVerilog语言和UVM方法学来掌握目前主流的动态验证技术，了解高级验证话题在今后遇到相关问题时可以参考。
量子计算机将革新经济、社会以及我们的生活方式 不治之症，如癌症、阿尔茨海默病、肌萎缩侧索硬化、帕金森病，以及修复DNA损伤和逆转衰老，很可能就是量子计算机的下一个战场 创造第二次绿色革命，解开固氮的秘密，以更低的能源成本养活爆炸式增长的世界人口 设计“超级电池”来迎接太阳能时代，加快向无碳能源未来的过渡，并减缓全球变暖的进程 揭开光合作用的神秘面纱，人工光合作用将在对抗全球变暖的斗争中创造一个范式转变……
如今，企业正迅速地将生成式AI整合到其产品和服务中。但是，关于这项技术的影响和前景，存在大量的炒作（和误解）。通过这本书，来自AWS的Chris Fregly、Antje Barth和Shelbee Eigenbrode将帮助CTO、机器学习从业者、应用程序开发者、业务分析师数据工程师和数据科学家找到实际的方法来使用这一令人兴奋的新技术。 通过本书，你将学习生成式AI项目生命周期，包括确定用例、模型选择、模型微调、RAG、RLHF和模型量化、优化与部署。你还将探索不同类型的模型，包括大语言模型和多模态模型，如用于生成图像的Stable Diffusion和用于回答有关图像问题的Flamingo/IDEFICS。
时序约束是确保芯片和FPGA性能满足设计需求的关键技术。芯片研发过程需要准确把握产品需求和项目需求，通过不断迭代、评审和变更，实现需求的收敛和约束。芯片测试用例经过多个阶段的仿真和验证，以保证设计的准确性。在芯片RTL综合流程中，时钟、信号和关键路径的约束是必要的，以满足时序要求。FPGA的时序约束则涉及RTL设计、模块位置、高速IP和I/O延时等，是一项系统的工程。本书深入讲解时序约束的原理和实战，将芯片时序约束的经验应用于FPGA，以优选限度地提升FPGA性能。本书旨在为有经验的工程设计者与工程管理者提供深入的时序约束知识，特别适合高级硬件设计工程师、研发部经理、专业的EMC工程师等。本书不仅适合希望提升芯片和FPGA性能的专业人士，还适合对时序约束原理和应用感兴趣的技术爱好者。
本书前半部分介绍强化学习的重要思想和基础知识，后半部分介绍如何将深度学习应用于强化学习，遴选讲解了深度强化学习的近期新技术。全书从最适合入门的多臂老虎机问题切入，依次介绍了定义一般强化学习问题的马尔可夫决策过程、用于寻找很好答案的贝尔曼方程，以及解决贝尔曼方程的动态规划法、蒙特卡洛方法和TD方法。随后，神经网络和Q学习、DQN、策略梯度法等几章则分别讨论了深度学习在强化学习领域的应用。本书延续"鱼书"系列的风格，搭配丰富的图、表、代码示例，加上轻松、简明的讲解，让人循序渐进地理解强化学习中各种方法之间的关系，于不知不觉中登堂入室。本书既适合深度学习的初学者，也适合对人工智能感兴趣的教师、学生和相关从业者学习参考。
最近几年，我国相控阵雷达系统对超高度数据转换器（ADDA）芯片提出了明确的需求，为了支撑星载ADDA与FPGA、DSP等算法处理芯片之间的超高速互联，国内许多研究机构都参与到了具有确定性延迟的SerDes接口芯片研制工作中。首先，本书研究JESD204B协议的基本内容，整理其关键技术，分析204B控制器的确定性延迟机制，探讨收发器PHY的系统结构和重要的参数设置。其次，本书分别针对发送端和接收端，详细分析和描述JESD204B控制器的协议与数字电路设计实现。然后，本书基于55 nm1p7m_RF工艺，采用数模混合设计完成了JESD204B收发器PHY的电路设计实现，重点详述了发送机中的串行化器和终端检测、接收机的自适应连续时间均衡器、离散时间判决反馈均衡器以及解串器设计。最后，本书介绍了基于混合信号的JESD204B收发器的系统仿真方案和关键仿真结果。
本书以零基础讲解为宗旨，用实例引导读者学习，深入浅出地介绍了电脑选购、组装、维护与故障处理的相关知识和方法。全书分为5篇，共20章。第1篇【基础入门篇】主要介绍了电脑的组装基础和电脑内部硬件的选购；第2篇【组装实战篇】主要介绍电脑组装实战、硬盘的区分与格式化、电脑操作系统的安装、电脑性能的检测、电脑网络的连接等；第3篇【电脑维护篇】主要介绍了如何管理电脑中的软件、硬盘的维护与管理、数据的维护与修复、电脑硬件的保养等；第4篇【故障处理篇】主要介绍了电脑故障处理基础、电脑开关机故障处理、CPU与内存故障处理、主板与硬盘故障处理、其他设备故障处理、操作系统故障处理、网络故障处理等；第5篇【系统安全篇】主要介绍了电脑的优化与维护，电脑系统的备份、还原与重装等。本书附赠与图书内容同步的视频教程及所
本书以图文结合的方式介绍了芯片的知识，共7章。第1章介绍了与芯片发明相关的重要技术，包括半导体技术的诞生，晶体管、集成电路、光刻工艺的发明等内容；第2章带领读者走进芯片的微观世界，了解芯片复杂和神奇的内部结构，以及芯片的设计和芯片制造技术；第3章讲解了芯片的设计过程，包括与芯片设计相关的EDA软件、IP、MPW等内容；第4章介绍了芯片制造的主要工艺、设备和材料，重点介绍了光刻和刻蚀工艺，以及芯片制造的基本流程；第5章介绍了目前流行的先进封装形式和芯片测试的方法等；第6章介绍了芯片的各种应用；第7章通过对芯片与经济安全和信息安全关系的分析，阐述了芯片产业作为战略性产业的重要性。 本书图文并茂，讲解通俗易懂，适合各行各业的科技人员、芯片行业从业者和政府部门相关人员阅读，也可以作为广大中学生、大学生及
本书结合AI原生应用落地的大量实践，系统讲解提示工程的核心原理、相关案例分析和实战应用，涵盖提示工程概述、结构化提示设计、NLP任务提示、内容创作提示、生成可控性提示、提示安全设计、形式语言风格提示、推理提示和智能体提示等内容。 本书的初衷不是告诉读者如何套用各种预设的提示模板，而是帮助读者深入理解和应用提示设计技巧，以找到决定大语言模型输出的关键因子，进而将提示工程的理论知识应用到产品设计中。 本书适合AI原生应用开发领域的从业者和研究人员，以及人工智能相关专业的教师和学生阅读。
本书深入浅出地介绍了现代大型人工智能(Artificial Intelligence,AI)模型技术，从对话机器人的发展历程和人工智能的理念出发，详细阐述了大模型私有化部署过程，深入剖析了Transformer架构，旨在帮助读者领悟大模型的核心原理和技术细节。 本书的讲解风格独树一帜，将深奥的技术术语转化为简洁明了的语言，案例叙述既严谨又充满趣味，让读者在轻松愉快的阅读体验中自然而然地吸收和理解AI知识。本书提供完整的代码示例，可帮助读者将抽象的理论知识转化为手头的实际技能。本书不仅理论知识丰富，实战案例更能帮助读者在专业领域内高效地应用AI技术。 无论是初学者还是有一定基础的工程师，都能通过本书掌握大模型的核心原理和操作技巧，获得私有化部署大模型的能力，精通Transformer架构，并能运用高效微调策略优化大模型，成为大模型领域的行家里手。
极限左移，赢得全球用户信赖 产品生命周期沿时间轴从左至右包括创意、设计、研发、验证、制造、产品交付、售后服务、回收再利用等阶段。联想集团秉承极限左移质量管理理念，不断向左移动质量管理的起点——从右端的售后服务左移到制造、研发、设计，甚至到产品创意阶段，从而很好追求产品质量的尽善尽美，赢得全球10亿用户的信赖。 链主担当，引领产业链同频共振 依托“端边云网智”新IT平台和“ICT产业高质量与绿色发展联盟”组织平台，联想集团将质量管理模式推广到供应链上下游的千余家企业，通过推动一级供应商进行质量升级，间接推动产业链更上游的企业进行质量升级，从而肩负起链主企业的质量担当，引领产业链同频共振，共筑智联质量生态圈。 以实赋实，助推中国经济高质量发展 联想集团凭借在数字化转型、客户导向和质量管理等方面
本书全面概述了软件架构的方方面面，涉及架构特征、架构模式、组件识别、图表化和展示架构、演进架构，以及许多其他主题。本书分为三部分。第1部分介绍关于组件化、模块化、耦合和度量软件复杂度的基本概念和术语。第2部分详细介绍各种架构风格：分层架构风格、管道架构风格、微内核架构风格、基于服务的架构风格、事件驱动的架构风格、基于空间的架构风格、编制驱动的面向服务的架构、微服务架构。第3部分介绍成为一个成功的软件架构师所必需的关键技巧和软技能。
作者凭借在全球不同国家和行业内的多年实践经验，从战略规划、技术选型、架构设计到人力资源管理、团队建设和流程优化等多个维度，为企业的现代化改造提供了全面的指导。本书讨论了通过引入沃德利地图、事件风暴、产品分类、领域划分、团队拓扑、松耦合软件架构、内部开发者平台、数据网格、现代化战略、学习与提升技能来加快企业的产品创新和服务优化，同时有效地管理变革，减少风险。本书适合技术领导者、技术人员、产品负责人等架构相关人员阅读。
本书深入浅出地介绍后摩尔时代的并行计算核心技术，理论与实践并重，兼顾数学模型、结构模型、编程模型。本书具有以下特色：①从概念上明确算势与算力的联系与区别，强调在后摩尔时代背景下从潜在能力（算势）到实际能力（算力）的充分转化的重要性；②注重量化分析和理论推导，单列一章对计算性能模型和存储性能模型进行了介绍；③注重并行应用程序的设计，单列一章介绍并对比分析了共享存储编程和非共享存储编程的基本原理；④注重融会贯通，培养整体观念，分别介绍了共享存储结构和分布式存储结构，揭示潜在的可利用的并行硬件资源以及对应的编程方法；⑤编制了大量的原创、有助于提高读者理解程度和应用知识能力的例题；⑥率先以算势和算力的统一视角，系统对比了经典并行计算与量子并行计算，有助于促进读者对两个领域的融合理解
本书聚焦于DCDC电源领域，涵盖了国产化芯片的应用范例。全书分为四个部分，每个部分都深入探讨了电源领域的关键主题。首先，从电源的概念出发，介绍了稳压电源的发展历史、电源的分类及各种线性电源的基本原理；其次，详细讲解了开关电源的各种拓扑结构，深入研究了基本原理与设计；然后，通过数学基础讲解、电路分析，详细讨论了闭环稳定性评判标准和环路补偿电路的应用；最后，结合实际设计过程探讨了电源的工程问题，包含有关电源完整性、DC/DC的EMI优化及电源的测试和新技术的内容。 本书从基础知识到高级技术，不仅详细介绍了电源技术的理论知识，还结合实例分析，帮助读者深入理解电源设计的方法，为实际工程应用提供了全面而深人的指导。 通过这本书，硬件工程师可以系统地学习和理解DCDC电源的各个方面，并能应用到实际中。本书非常
《零基础学空调器维修》以空调器安装、调试与维修行业的市场需求为导向，结合国家相关职业资格标准，全面系统地介绍了从事空调器安装调试维修所必需的基础知识、电路知识、技能操作、电路识读测量和维修方法等。全书共23章，知识内容系统、技能操作详实、案例丰富多样，力求让读者在短时间内了解不同空调器维修的特点，并掌握实际的维修方法和技能技巧。 在表现方式上，本书突出“图解”特色。通过实际样机的实拆、实测、实修的演示讲解，让读者直观、真实、全面地了解空调器维修的各种本领。另外，本书将“微视频”教学模式引入其中，在重要的知识点或技能环节附有二维码，读者通过手机扫描二维码，即可在手机上观看相应知识技能的视频演示，与书中的内容形成互补，确保达到良好的学习效果。
本书对现代计算设备进行了介绍，包括其中可能出现的重要技术和子系统，并阐释了设备与其他系统组件之间的关系。全书分为三部分。第一部分介绍计算机体系结构基础知识，包括计算机体系结构的基本概念、数字逻辑、处理器要素、计算机系统组件、硬件-软件接口、专用计算领域。第二部分介绍处理器体系结构及指令集，涉及处理器和存储器体系结构、性能提升技术、专用处理器扩展、现代处理器体系结构及指令集、RISC-V体系结构及指令集。第三部分介绍计算机体系结构的应用，包括处理器虚拟化、领域专用计算机体系结构、计算机体系结构的未来发展方向。本书适用于软件开发人员、计算机专业学生、系统设计师、计算机科学家、逆向工程师，以及所有希望理解现代计算机系统（从微型嵌入式设备到智能手机，再到仓储规模的云服务器群等）的体系结构和设
本书从复杂软件系统的概念与内涵开始，首先对复杂软件系统的定义、特征、与传统软件系统的异同以及面临的新问题与新挑战进行综述性的介绍，同时还会列举和分析若干典型的复杂软件系统案例。接着重点对复杂软件系统的失效机理和质量模型进行详细的探讨，失效机理部分主要对复杂软件故障的产生原因、传播规律以及失效机理模型进行介绍，这其中会包含在理论层面利用元胞自动机进行的故障传播建模以及若干典型的复杂软件系统失效案例分析。在失效机理基础上提出一种适合于复杂软件系统的质量模型，该模型与传统的软件质量模型存在较为明显的差异，这部分内容重点对新的质量模型进行详细的阐述，同时还对基于大数据的质量预测和基于体系结构的质量预测两种针对复杂软件系统的技术方法进行了介绍。
自20世纪五六十年代诞生以来，电子游戏借助科技的力量，从实验室中的新奇之物逐渐发展成一个规模宏大的产业，并在21世纪初期深刻地融入人们的生活。 本书聚焦电子游戏的发展历程，从四个层面展开研究。第一，阐述“电子游戏”的基本概念和内涵，指明它在信息科学技术方面不同于传统媒介的特点；第二，梳理电子游戏跌宕起伏的发展历史，概括为早期的电子游戏（1983年之前）、游戏产业的复兴（1983-1994年）和迈入次世代的电子游戏（1995-2007年）三个阶段；第三，从微观角度探究电子游戏的开发流程、图像/音效设计理念的发展和类型特征等；第四，从宏观角度讨论电子游戏在道德和伦理方面引发的问题、电子游戏与其他媒介的关系、电子游戏的发展前景等。 本书适合电子游戏爱好者、电子游戏行业从业者和游戏学学者阅读，也可作为电子游戏的科普读物
并行无处不在。从小的设备（例如支持物联网的处理器）到大的超级计算机，几乎所有设备都提供具有多个处理元件的执行环境。因此，这要求程序员编写能够充分利用硬件中多个处理单元的并行代码。并行程序需要一个提供有效执行机制的软件基础设施（“并行运行时”），这些运行时必须考虑底层计算机架构的特定结构以及执行环境所提供的特性。 在《高性能并行运行时系统：设计与实现》中，我们将展示由现代处理器设计方式所带来的有趣效果。程序员在实现高性能并行运行时系统的时候，需要考虑底层机器细节。我们将展示其中存在的（性能）陷阱，你将看到一些违反直觉的结论，它们很可能会误导你对机器性能的思考及实现决策。通过阅读本书，你将了解： 现代计算机架构的主要概念； 每种构造的合理性能指标是什么； 根据底层硬件特性，理论性能极
时序约束是确保芯片和FPGA性能满足设计需求的关键技术。芯片研发过程需要准确把握产品需求和项目需求，通过不断迭代、评审和变更，实现需求的收敛和约束。芯片测试用例经过多个阶段的仿真和验证，以保证设计的准确性。在芯片RTL综合流程中，时钟、信号和关键路径的约束是必要的，以满足时序要求。FPGA的时序约束则涉及RTL设计、模块位置、高速IP和I/O延时等，是一项系统的工程。本书深入讲解时序约束的原理和实战，将芯片时序约束的经验应用于FPGA，以优选限度地提升FPGA性能。本书旨在为有经验的工程设计者与工程管理者提供深入的时序约束知识，特别适合高级硬件设计工程师、研发部经理、专业的EMC工程师等。本书不仅适合希望提升芯片和FPGA性能的专业人士，还适合对时序约束原理和应用感兴趣的技术爱好者。
