
Identification of functional components in combinational circuits
Author(s) -
Travis E. Doom,
J. Chris White,
A.S. Wojcik,
G.H. Chisholm
Publication year - 1998
Language(s) - English
Resource type - Reports
DOI - 10.2172/654071
Subject(s) - identification (biology) , computation , matching (statistics) , computer science , algorithm , electronic circuit , mathematics , engineering , biology , statistics , botany , electrical engineering
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 that are differently implemented, optimized, or otherwise obfuscated. The authors present a mechanism for identifying functionally equivalent subcircuits that can overcome many of these limitations. Such semantic matching is particularly useful in the field of design recovery