Moreover,property checking based on BWGL can verify the data path and controller simultaneously,which can save a great deal of time.
另外,基于BWGL的性质检验可以同时验证数据通路和控制器,节省了大量的时间。
参考来源 - VLSI设计中的形式验证方法研究·2,447,543篇论文数据，部分数据来源于NoteExpress
The other type of formal verification is property checking.
另外一种形式验证是特性检查。
The idea behind property checking is to search the entire state space for points that fail the property.
特性检查背后的思想是在整个状态空间中搜索引起特性失败的点。
What makes property checking a success in industry are symbolic traversal algorithms that enumerate the state space implicitly.
使得特性检查在业界获得成功的因素是象征遍历算法，它无保留地枚举状态空间。
应用推荐