芯片验证从零开始系列(一) ——芯片验证概论芯片开发过程动态验证技术静态验证技术Emulation和FPGA原型开发测试平台框架检测设计回归测试
最近的比赛要用到UVM的验证,可以顺便以后增加一项求职技术,系统地学习SV和UVM,为以后的毕业论文和发展方向做准备。
芯片开发过程1 )通过市场人员与客户的交流确定用户需求2 )系统设计人员按功能分为子系统3 )子系统由设计团队开发实现4 )验证人员验证设计功能,发现设计缺陷时, 委托设计人员修改5 )验证无漏洞后,让后端人员综合,布局布线6 )后端人员将布局传递给FAB流单
动态验证技术动态验证技术是目前的主流技术
利用仿真器进行数字电路的激励发射和结果检查
静态验证技术可以分为人工形式验证(属性检查)和自动形式验证技术。
属性检查是用断言结合形式验证工具进行穷举检查的设计,判断设计的正确性。 自动验证技术包括SOC集成连接检查、死锁检测、X语义安全检查、覆盖范围可及性等。 由于Emulation和FPGA原型开发处于复杂的环境下,模拟速度为非常慢,因此在开发中后期等项目稳定后,用FPGA原型进行开发,进行更复杂的功能测试(此处的FPGA仅用作逻辑容器。)。 另外,在通常的验证小组中,负责FPGA原型开发的要求者数量极少。
测试平台框架
针对DUT(deviceundertest )创建测试序列观察dut的http://www.Sina.com/dut的输出数据3358www.Sina.com/输出报告检查结果检查设计检查设计
1 )设计文件是否正确按功能描述文件实施2 )检测输入输出有无遗漏3 )处理设计是否足够稳定的一些错误情况,且测试时给出的激励向量为http://www.Sina
回归测试最终硬件设计经过一定数量的激励测试,验证者可以准备回归测试。
回归测试是指测试所有现有的测试序列一次