首页>
外国专利>
Verifying one or more properties of a design using SAT-based BMC
Verifying one or more properties of a design using SAT-based BMC
展开▼
机译:使用基于SAT的BMC验证设计的一个或多个属性
展开▼
页面导航
摘要
著录项
相似文献
摘要
In one embodiment, a method for satisfiability (SAT)-based bounded model checking (BMC) includes isolating information learned from a first iteration of an SAT-based BMC process and applying the isolated information from the first iteration of the SAT-based BMC process to a second iteration of the SAT-based BMC process subsequent to the first iteration.
展开▼