2004年本科大学4年级时，时常看到《计算机体系结构-软硬件接口》和量化研究方法，对计算机结构感兴趣，选择芯片设计为硕士专业。 硕士期间曾进行过x86及arm7tdmi的软件核心开发。
2008年硕士毕业后进入a公司从事芯片验证(逻辑功能)，已经5年了。 我要跳槽了。 由于上了年纪记忆力下降，为了防止将来孩子问父亲当年的工程经验时说不出口，特别抽出时间对原来经历过的项目、技术进行了比较详细的总结。
1 .逻辑验证谈话
说到验证，很多人，特别是刚毕业的后辈很有抵触感。 虽然我自己也有这个心理，但是不可否认，大型项目对验证工程师的知识结构和能力要求很高。 一般知识要求如下。
所谓verilog/vhdl是必须的； 系统版本这也是必需的。 OVM/UVM已经发展了。 sv的是基础。 需要c。 工程师写算法。 C必须给人一种自信的感觉。 (我在大学做过两年的广告，c还是很熟悉的。 ) c必填，oop基础，项目大，oop还是首选。 当然ovm/uvm也是oop，但我觉得还是c /java这样的软件更专业； (人们不是常说sv能做的不是程序员吗(: ) ) ) scripts需要的bash/tcl/perl/.我对自己的要求是能写一种。 要是别人能读就好了。
对刚入行的后辈，我一般要求c熟练。 要是有oop的概念就好了。 当然verilog、vhdl是必不可少的。
关于能力的要求，我觉得必须稍微调试一下错误。 设计越复杂，漏洞越多，而且隐藏得越深。 为了让后来者凭感性认识，稍后再举例说明。
2. SoC验证
SoC验证是验证的一部分，在a公司，逻辑验证分为system level/chip level/core level/blocklevel等多种类型，该分类支持大系统。 例如，一代复杂cpu的芯片在开发过程中，首先定义功能性能要求，然后定义所需的功能模块，对不能再利用的功能模块进行人工开发验证时，该功能模块验证由cpu的指单元或L1L2 cache单元等cpu chip level可以比作cpu core verif，systemlevel可以比作io的验证。
我从事的SoC认证是指基于标准IP的系统认证，例如某手机的APP应用处理器为SoC，其中的IP为嵌入式处理器核心、图形处理器核心、内存控制器SoC设计工程师(包括Flassore在内的gps core、以太网等)将这些IP连接到一个(总线)上后，如何确保这些IP合二为一并正常工作是我们的工作。
这里给出了对验证工程师的另一个要求。 这意味着您是否足够熟悉这些ip接口协议。 在arm世界中，是否充分了解了amba、axi、ahb以及装载在这些总线上的关键ip，例如以太网、usb和pcie？ 这也挑战了验证工程师。 当然，在powerpc世界中，plb6 plb4 opb dcr与上述总线兼容。
由于SoC验证的假设是IP经过IP核心级别的验证，对于SoC应该是金牌的，所以SoC关注芯片的各个IP是否可以合作。 如何保证他们合作工作，就是通过test pattern或testcase配置这些ip让他们工作一段时间。
a公司有一个叫TOS的系统。 测试操作系统。 该系统是一个简单的多任务系统。 对于一个操作系统来说，任务调度、进程通信、内存管理、中断管理是其核心功能，而对于TOS，简化了通信、内存中断管理、任务调度和驱动程序开发。 此外，还添加了与调试相关的功能，如日志跟踪功能、添加了简化的总线接口以方便tb模拟模块的控制。
下图是tos中一种testcase的运行过程，首先tos系统booting后进入一个loop，检查是否有就绪的case，发现一个或多个后移动到相应的case入口运行。 运行结束后返回loop，通知exer，执行最后的清理工作。 在多个case的情况下，例如以太网传输case从memory中提取数据并将其传输到远程以太网，但由于该过程持续时间较长，因此tos将参与yeld调用，并且传输case为yeld
的test都是用c写的。 最常用的是给某个mmio写值，输出log信息。 很有趣。
当然，启动tos的过程基本上类似于bringup芯片的过程，配置内存空间，分配中断，配置默认寄存器，禁用重置。
3 .如何判断SOC验证是否充分
验证永远都是不够的，永远都不是最好的。 用同事的话说，如果必须对验证设定期限的话，我想定在1万年。
现在常见的方法是查看coverage，而SoC验证是查看IP接口的cov和功能点cov。
a公司在coverage也有一套，以后再说； 另外，我在a公司也做了一点逆向评价方法的实验(patented )，后面会叙述。
在a公司进行了两年的SoC验证后，a公司取消了TOS平台，改用了另一个更强大、更灵活的框架：Fusion。
转载于：https://blog.51cto.com/panyf/1192244