Title :
Identifying high-level components in combinational circuits
Author :
Doom, Travis ; White, Jennifer ; Wojcik, Anthony ; Chisholm, Greg
Author_Institution :
Dept. of Comput. Sci., Michigan State Univ., East Lansing, MI, USA
Abstract :
The problem of finding meaningful subcircuits in a logic layout appears in many contexts in computer-aided design. Existing techniques rely upon finding exact matchings of subcircuit structure within the layout. These syntactic techniques fail to identify functionally equivalent subcircuits which are differently implemented optimized, or otherwise obfuscated. We present a mechanism for identifying functionally equivalent subcircuits which is capable of overcoming many of these limitations. Such semantic matching is particularly useful in the field of design recovery
Keywords :
Boolean functions; circuit CAD; combinational circuits; computational complexity; high level synthesis; integrated circuit design; integrated logic circuits; combinational circuits; computer-aided design; design recovery; functionally equivalent subcircuits; high-level components identification; logic layout; Algorithm design and analysis; Boolean functions; Clustering algorithms; Combinational circuits; Computer science; Design automation; Design optimization; Laboratories; Logic design; Testing;
Conference_Titel :
VLSI, 1998. Proceedings of the 8th Great Lakes Symposium on
Conference_Location :
Lafayette, LA
Print_ISBN :
0-8186-8409-7
DOI :
10.1109/GLSV.1998.665284
