布尔可满足性论文

基于布尔可满足性的电路设计错误诊断
论文摘要集成电路设计过程中，随着电路规模和复杂度的增大，设计错误变得越来越常见且难于处理。已有的验证算法和技术都是基于确保设计正确性的原则，回答电路实现和规格说明是否等价一致，...