IEEE - Institute of Electrical and Electronics Engineers, Inc. - Incremental learning approach and SAT model for boolean matching with don’t cares

2007 IEEE/ACM International Conference on Computer Aided Design

Author(s): Kuo-Hua Wang ; Chung-Ming Chan
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 November 2007
Conference Location: San Jose, CA, USA
Conference Date: 4 November 2007
Page(s): 234 - 239
ISBN (CD): 978-1-4244-1382-9
ISBN (Paper): 978-1-4244-1381-2
ISSN (Paper): 1092-3152
DOI: 10.1109/ICCAD.2007.4397271
Regular:

In this paper, we will propose an incremental learning approach to solve Boolean matching for incompletely specified functions. This approach can incrementally analyze current feasible partial... View More

Advertisement