皮皮祥的博客

摘要： 数字IC设计和FPGA设计都属于硬件设计的范畴，随着硬件设计复杂性的不断增加，为了能够最大程度的使得验证收敛，验证方法也越来越多，在数字IC方向和FPGA方向，验证都是贯穿于每一个环节之中，数字IC前端设计需要验证，这里的验证指的是功能验证，后端物理实现也会有验证。做FPGA的呢，也会用到验证，这时 阅读全文

摘要： 一、前言 接触Synopsys 家的VCS工具有一段时间了，在此简单分享下个人的学习笔记。供刚接触到数字前端设计的同学提供一些参考资料。在学校我们经常使用的verilog仿真软件都是quartus和modelsim，但是看一下一些公司的招聘要求，公司里使用的基本都是VCS。所以学习一下对找工作还是有 阅读全文

摘要： 形式验证入门之基本概念和流程 一、什么是形式验证？ VLSI设计的功能验证有两种方法，动态仿真验证和形式验证。形式验证采用数学方法来比较原设计和修改设计之间的逻辑功能的异同，而动态仿真验证是对两设计施加相同的激励后，观测电路对激励的反应异同。设计越大，为了达到100%的覆盖率，动态仿真验证所需要的矢 阅读全文

摘要： 1. 什么是形式化验证 FV(formal verification)是指使用数学工具分析设计可能行为的空间，而不是计算特定值的结果。FV工具将着眼于所有可能的仿真，而不是尝试特定的值。当然，它并不是真的运行所有可能的仿真，但它将使用数学技术来考虑所有可能的行为。仿真和FV的区别：仿真着眼于可能测试 阅读全文