qq_44943193的博客

它是一个稳定而简单易用的工具，为几百万门的片上系统设计提供了较高的仿真能力。静态验证是指采用分析电路的某些特性是否满足设计要求的方法，来验证电路的正确与否，形式验证是近几年来兴起的一种验证方法，它需要有一个正确的模型作为参考，把待验证的电路域正确的模型进行比较，并给出不同版本的电路是否在功能上等效的结局，它利用理论证明的方法来验证设计结果的正确性。由于静态验证是工具自动完成的，不需要人工过多的敢于，所以通常对设计的电路首先进行静态验证，以纠正一些比较明显的错误，然后再动态仿真，确定其具体的行为是否正确。

硬件设计定义说明描述芯片总体架构、规格参数、模块划分、使用的总线，以及各模块的详细定义等。

概念：接口中声明clocking（时序块）和采样的时钟信号，用来做信号的同步和采样。clcoking块基于时钟周期对信号进行驱动或采样的方式，使得待测平台不再苦恼于如何准确及时地对信号驱动或采样，消除了信号的竞争问题。

（1）这一年自己大部分的时间都和UVM打交道，从最开始的绿皮书到张强的UVM实战这本书，从开始非常疑惑为什么需要寄存器模型，到后来发现寄存器模型简直是神来之笔，当然我还没有体会到前门访问和后门访问的精髓，但是对于寄存器模型有了一定的理解。（3）对于scoreboard的队列的思想要深刻体会，还是数组的使用，我暂时常用的是数组和队列，初看SV重的数组和队列，完全没当回事，后来发现读写过程中数组可以用来产生随机数，而队列可以用来存储数据。服从领导的想法是职场必修课。一.要养成良好的工作习惯。

波形杂谈

路科验证实验一

SV数据类型

测试平台

类和对象

随机化

线程的使用与控制

IC验证

前文已经提到，自己已经入了IC验证的坑，那么如何学习呢，当然不能一下子吃个胖子，我的计划比较单纯，就是在入职之前对于IC验证有个认识和基本的概念，不至于手足无措。书籍的话采用的是四本经典教材（1）verilog编程艺术（2）systemverilog验证（绿皮书）（3）芯片漫游指南（红皮书）（4）UVM实战（张强）当然书籍不是一页一页的去看。先看路科验证的v0视频，学习一下大概，再做打算，写到这里。...

本身自己入了FPGA的工作，最近面了一个IC验证工程师，本身觉得没有太大的希望，最终细腻糊涂的过了，的确感受到补招的要求和开始的要求差的实在太多了，从此也决心不再找工作了，从0开始学习验证的内容。本身对于验证的知识不是很了解，知道路科的课程，但是可能并不适用与公司的内容，这里一步一步的记录自己学习的过程，希望自己能学有所成。...