首页 > 编程知识 正文

s912芯片,芯片验证

时间:2023-05-03 20:49:07 阅读:129311 作者:1816

芯片验证从零开始系列(一) ——芯片验证概论芯片开发过程动态验证技术静态验证技术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

回归测试最终硬件设计经过一定数量的激励测试,验证者可以准备回归测试。

回归测试是指测试所有现有的测试序列一次

版权声明:该文观点仅代表作者本人。处理文章:请发送邮件至 三1五14八八95#扣扣.com 举报,一经查实,本站将立刻删除。