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.
特性检查背后的思想是在整个状态空间中搜索引起特性失败的点。
Article 13. Units should set up a property-checking system to ensure that the accounting records conform with the quantities of existing materials and funds.
第十三条各单位应当建立财产清查制度，保证帐簿记录与实物、款项相符。
应用推荐