| Title | Verifying equivalence of functions with unknown input correspondence |
| Publication Type | Conference Paper |
| Year of Publication | 1993 |
| Authors | Cheng, DI, Marek-Sadowska, M |
| Conference Name | Design Automation, 1993, with the European Event in ASIC Design. Proceedings. [4th] European Conference on |
| Date Published | feb |
| Keywords | Boolean functions, equivalence classes, logic design, logic synthesis, logic verification, partial correspondence, partner patterns, signature of variables, unknown input correspondence, verifying equivalence |
| Abstract | It is pointed out by the authors that most of the methods that tackle the problem of verifying equivalence of two Boolean functions assume that the correspondence of input variables is known. A method that does not require this assumption is proposed. The key to the method is to associate a new signature with each input variable, thereby effectively establishing partial (sometimes total) correspondence between the sets of input variables. The descriptive power of the new signature appears to be very effective |
| DOI | 10.1109/EDAC.1993.386496 |
