《破解数字VLSI验证面试》翻译计划——综述

译者序

之前一直在追更“摸鱼范式”公众号的每日两题，最近发现摸鱼范式公众号发布的这个模块，出自下面这本书。（之前在追每日两题的时候，有些比较模糊，打算从头看这一本书，顺便尽可能的翻译本书！），可点击《Cracking Digital VLSI Verification Interview：Interview Success》免费获取pdf文档！

前言

现代超大规模集成电路设计在生活的方方面面都占有一席之地。设计的复杂性呈指数级增长，因此需要在设计上市之前对其进行验证。验证方法从简单的定向仿真发展到复杂的uvm、仿真、形式化，出现了许多更具创新性的解决方案。设计也从专用功能芯片转向多功能soc，从而增加了设计验证的复杂性。验证器在设计周期中的作用已经并将继续非常突出。行业专家的最新研究表明，设计师人数的平均增幅逐年下降，而验证工程师的平均增幅稳步上升。这项研究进一步预测，到2025年底，验证工程师与设计师的比例将达到75:25，到2050年，数字设计领域的比例将达到95:5。验证工程师需要理解体系结构、微体系结构、设计细节，此外还需要对各种验证方法、语言和技术有较强的掌握。对于一个有抱负的人来说，进入一家新公司的第一个障碍是成功的面试，面试涉及的领域很广。

这是一本关于破解面试的书，对所有有抱负的人来说都是一大福音。采访是一门艺术，也是一门科学，作者尽了最大的努力，科学地掌握了采访成功的艺术。这本书为读者提供了面试官所需要的所有方面。作为一名十多年的面试官，我对这本书中讨论的问题印象深刻，我希望我能早点读这本书。我觉得我应该早点知道的话题太多了，这会让面试变得有趣。我毫不怀疑地推荐这本书给所有有抱负的人，甚至是这个领域的面试官，以获得一个新的和生动的视角。问题的范围将从一个新手实习生到高级专家高管受益。这本书涉及验证工程师选择面试的方方面面，包括技术和非技术特性。

这本书的作者，拉姆达斯和罗宾加格有着一个成功的验证工程师的所有特点——非常谨慎。拉姆达斯在验证界被认为是该领域最优秀的专家之一。他在多家顶级公司拥有丰富的经验，验证最复杂的设计，并在网上主持最受欢迎的验证课程。罗宾·加格以其创新和热情的心态构思了这一慈善行为，他将最棘手的问题分离出来，并拿出一本书来帮助有抱负的人。我个人与这两位作者都有过合作，我很高兴能在这本书的前言中分享我的感受。我祝愿作者们在努力出版这本书的过程中一切顺利。

Achutha Kiran Kumar, Formal Verification Lead, Intel

Achutha Kiran Kumar, 形式验证主管, 英特尔

Co-Author, Formal Verification: An Essential Toolkit for Modern VLSI Design

验证是一门艺术。这是微处理器开发生命周期中最具挑战性和最令人兴奋的阶段之一。对于可预测的上市时间和VLSI产品的成功，验证是关键。

如果你热衷于数字VLSI验证领域的工作，经常想知道怎样才能找到一份验证工程师的工作，并且想知道要破解VLSI验证面试需要什么技能：这本书是你的必备书！对超大规模集成电路设计/验证概念有很好的理解，对超大规模集成电路面试过程有深刻的见解，这将减少你的焦虑，提高你的信心。

作者：Ramdas M和Robin Garg是微处理器验证方面的专家，他们有二十多年的经验。通过这本书，他们提供了一个工具，读者可以使用它来扩展他们的领域知识，并为成功的面试做好准备。这本书很好地组织成章节与各种问题的详细说明和解释，为读者提供了一个指导，教育他们。这本书涵盖了VLSI验证面试过程的技术和非技术方面。作者详细介绍了各种概念：从基本设计概念到高级验证方法。

使用这本书作为一个工具，而不是你的准备指南将有助于你的努力有一个成功的职业生涯在超大规模集成电路验证的世界！

Pushkin R Pari, Senior Staff Engineer, Qualcomm

Pushkin R Pari, 高级工程师, 高通

Co-Author, Formal Verification: An Essential Toolkit for Modern VLSI Design

感谢

感谢我们的老师、家长、导师、家人和朋友们！

反馈

作为这本书的读者，你是我们最重要的反馈来源，因此我们想听听你的意见。对我们来说，你是一位有价值的评论家和评论家。我们想知道我们做对了什么，我们可以做得更好，您希望我们在哪些方面发表意见，也欢迎任何一般性的反馈或评论。请留下你的评分，评论和评论。如需更多反馈，请发送电子邮件至“verif.excellence@gmail.com” ，非常感谢您的反馈！

领取免费礼物

作为这本书的作者，我们希望你：获得各种验证概念的透彻理解，在所有的学习努力中取得成功，并在数字VLSI验证领域有一个良好的职业生涯。因此，我们决定免费赠送一本有价值的电子书：“5个迷你验证项目，让你的学习更彻底”。在这本电子书中，我们将带你完成五个不同的项目任务。这些作业将使你能够解决真实的验证问题，帮助你彻底地学习，并帮助你为面试做准备。这本免费电子书涵盖了不同的方面，如：在SystemVerilog/UVM中构建验证环境、开发验证知识产权（VIP）和实现SystemVerilog断言（SVA）。有关免费电子书的链接，请参阅本书末尾的结束语部分！

关于作者

• Ramdas Mozhikunnath
• 拉姆达斯·莫兹库纳特

拉姆达斯是一个有着持续学习热情的专家验证工程师。他在复杂ASIC设计和微处理器的硅前和硅后验证方面拥有超过15年的经验。目前，他是Applied Micro的高级验证工程师和经理，负责最新一代ARM服务器CPU设计的验证。在他的职业生涯中，拉姆达斯曾在几家顶级公司工作过，包括英特尔、IBM和许多其他提供成功验证项目的初创公司。他的专业领域包括：微处理器核心、缓存、一致性和内存子系统微体系结构，以及验证。他对SystemVerilog、C++、OVM和UVM等验证方法和编程语言有深刻的理解。

拉姆达斯相信保持技术技能在最前沿。因此，他热衷于通过在线课程、离线课程和网站博客分享功能验证领域的知识：www.verificationexcellence.in。在过去的两年里，他在Udemy上发布了三个验证课程，已经注册了近10000个用户，并且从一些学生和功能验证工程师那里得到了很好的反馈/评论。

你可以在这里关注拉姆达斯：LinkedIn | | Twitter | | Quora。

• Robin Garg
• 罗宾·加格
  罗宾是一位经验丰富的半导体专业人士和技术爱好者。他于2011年毕业于印度比拉尼BITS公司，获得电气和电子工程学位，此后一直从事数字VLSI验证领域的工作。在过去的五年中，他为印度和英国的顶级半导体公司工作，并在硅前、仿真和硅后水平上探索了数字VLSI验证的各个方面和维度。

在非技术领域：罗宾是一个导师，志愿者，跑步者和博主。他一直与各种非营利组织一起指导工程/STEM学生，并为许多社会事业提供志愿服务。他是一个健身狂，还领导着母校BITS校友会的各种健身活动。

你可以在这里关注罗宾：LinkedIn | | Twitter | | Quora。

本书的章节目录如下：

Chapter 1: Digital Logic Design
Chapter 2: Computer Architecture
Chapter 3: Programming Basics
Chapter 4: Hardware Description Languages
Chapter 5: Fundamentals of Verification
Chapter 6: Verification Methodologies
Chapter 7: Version Control Systems
Chapter 8: Logical Reasoning/Puzzles
Chapter 9: Non Technical and Behavioral Questions

结束语

所以我们在这里。我们感谢您阅读这本书。我们希望您已经从阅读这本书中受益，它将帮助您测试、复习和磨练与数字VLSI验证相关的基本概念。重申一下，一个问题库不可能100%完成，不管它有多大。这本书是我们真诚的努力，以涵盖尽可能多的概念，通过有限的集合500+问题，但涵盖所有概念，将帮助您回答更多相关的问题。

反馈是让我们知道你对这本书的想法的最好方式之一。而从你积极反馈:给我们一个满意的感觉,帮助我们知道我们所做的对的,鼓励我们继续在同一方向,负面/发展反馈:让我们知道我们可以做得更好,帮助我们在未来采取纠偏措施。请留下你的评论和评级，反映你对这本书的真实意见。
如果你喜欢这本书，请把它推荐给你的学弟学姐、同辈、朋友、学弟学姐，并把它传播出去，让其他人也能从中受益。

此外，不要忘记索取你的免费礼物(点击这里订阅并下载免费版本)。你可以通过本书开头提到的不同媒介与我们保持联系。可以试试这个网址！

希望你现在已经为即将到来的面试做好了准备。愿一切都好！

Ramdas M and Robin Garg