在形式验证和ATPG中的布尔可满足性问题

作     者：邓雨春 杨士元 王红 薛月菊 

作者机构：清华大学自动化系北京100084 

基　　金：国家自然科学基金重大项目 (90 2 0 70 16)资助 

出 版 物：《计算机辅助设计与图形学学报》 (Journal of Computer-Aided Design & Computer Graphics)

年 卷 期：2003年第15卷第10期

页      码：1207-1212页

摘      要：介绍布尔可满足性 (SAT)求解程序在测试向量自动生成、符号模型检查、组合等价性检查和RTL电路设计验证等电子设计自动化领域中的应用 着重阐述如何在算法中有机地结合电路拓扑结构及其与特定应用相关的信息 ,以便提高问题求解效率

主 题 词：数字电路 电路设计自动化 形式验证 ATPG 布尔可满足性 

学科分类：080902[080902] 0809[工学-计算机类] 08[工学] 

核心收录：

D　O　I：10.3321/j.issn:1003-9775.2003.10.004

馆 藏 号：203213517...