SOC V2.0的Formal是什么？
这里的formal是formality/lec 吗？不是。那这里的formal是什么？
soc v2.0 里的formal是形式验证。
形式验证不同于仿真验证，它是通过数学上完备地证明或验证电路的实现方法是否确实实现了电路设计所描述的功能。
形式验证方法分为等价性检查(equivalence checking)如formality，lec等和属性检查(property checking)如jasper gold，vc formal 等。
我们这里讲的形式验证特指属性的检查(property checking)。
如上图所示，在一个简单的加法设计中，我们采用动态仿真的方式去验证上述运算是类似一种丢飞镖的过程，想要验到所有的场景要运行2的64次方即18446744073709551616次，这只是简单的加法运算，如果再加入其它稍微复杂的逻辑，想用动态仿真的方式打完所有情况是非常困难的。
另外一种场景是当信号从设计的端口输入，信号流的走向会根据不同设定或者状态选择走向不同的路径。
如上图所示，当信号流可选择的路径很多时，通过动态仿真也是很难覆盖到所有路径的。
上述两个问题用formal就可以很好的解决掉。
在处芯积律soc v2的项目里面，提供了一个用formal 验证pin mux 的案例。
通过实际例子让大家感受 formal 环境长什么样？formal是怎么验证的。
除了 formal ，soc v2 项目还有什么？
no1. 有dma，isp，pinmux 这些模块
示波器探头接地与通道串扰分析
长芯半导体芯片研发及生产制造基地项目落户赣州经开区 总投资达10亿元
魅族在2019年有必要做的更好
Fitbit OS 5.0预装了新的Sense和Versa3
小米与摩托罗拉的隔空充电技术揭秘，辐射问题成隐忧？
SOC V2.0的Formal是什么？
汽车各种LED灯光产品的特性和优缺点分析
汽车电气接线盒的过载设计和验证方法浅析
厉害了我的华为p10，这手机玩游戏耍得溜溜溜的
Analog Devices ADCMP60x系列比较器的应用电路分析
喜讯｜销售破200万颗！跃昉芯片，引领智能科技时代
冰箱压缩机不停机的维修方法
凌华科技ASD+ SSD工业级存储解决方案
EMI电磁噪声分类与EMI滤波器选型
中国联通基于5G新场景和AR/VR/MR能力打造5G智慧场馆常态化商业运营
太阳能蓄电池寿命_太阳能蓄电池价格
上海发布新制造计划
中国计划2025年半导体自给率升至70% 福建法院对美光发出诉中禁令
Redmi开始尝试使用功能丰富但价格合理的智能手机
光合作用测定仪的测量项目以及使用效果的介绍
soc v2.0 里的formal是形式验证。
形式验证不同于仿真验证，它是通过数学上完备地证明或验证电路的实现方法是否确实实现了电路设计所描述的功能。
形式验证方法分为等价性检查(equivalence checking)如formality，lec等和属性检查(property checking)如jasper gold，vc formal 等。
我们这里讲的形式验证特指属性的检查(property checking)。
如上图所示，在一个简单的加法设计中，我们采用动态仿真的方式去验证上述运算是类似一种丢飞镖的过程，想要验到所有的场景要运行2的64次方即18446744073709551616次，这只是简单的加法运算，如果再加入其它稍微复杂的逻辑，想用动态仿真的方式打完所有情况是非常困难的。
另外一种场景是当信号从设计的端口输入，信号流的走向会根据不同设定或者状态选择走向不同的路径。
如上图所示，当信号流可选择的路径很多时，通过动态仿真也是很难覆盖到所有路径的。
上述两个问题用formal就可以很好的解决掉。
在处芯积律soc v2的项目里面，提供了一个用formal 验证pin mux 的案例。
通过实际例子让大家感受 formal 环境长什么样？formal是怎么验证的。
除了 formal ，soc v2 项目还有什么？
no1. 有dma，isp，pinmux 这些模块
示波器探头接地与通道串扰分析
长芯半导体芯片研发及生产制造基地项目落户赣州经开区 总投资达10亿元
魅族在2019年有必要做的更好
Fitbit OS 5.0预装了新的Sense和Versa3
小米与摩托罗拉的隔空充电技术揭秘，辐射问题成隐忧？
SOC V2.0的Formal是什么？
汽车各种LED灯光产品的特性和优缺点分析
汽车电气接线盒的过载设计和验证方法浅析
厉害了我的华为p10，这手机玩游戏耍得溜溜溜的
Analog Devices ADCMP60x系列比较器的应用电路分析
喜讯｜销售破200万颗！跃昉芯片，引领智能科技时代
冰箱压缩机不停机的维修方法
凌华科技ASD+ SSD工业级存储解决方案
EMI电磁噪声分类与EMI滤波器选型
中国联通基于5G新场景和AR/VR/MR能力打造5G智慧场馆常态化商业运营
太阳能蓄电池寿命_太阳能蓄电池价格
上海发布新制造计划
中国计划2025年半导体自给率升至70% 福建法院对美光发出诉中禁令
Redmi开始尝试使用功能丰富但价格合理的智能手机
光合作用测定仪的测量项目以及使用效果的介绍