Identifying high-level components in combinational circuits

Conference · Wed Jul 01 00:00:00 EDT 1998

DOI:https://doi.org/10.2172/654071· OSTI ID:656729

Doom, T; White, J; Wojcik, A ^[1]; Chisholm, G ^[2]

---

1. Michigan State Univ., East Lansing, MI (United States). Dept. of Computer Science
2. Argonne National Lab., IL (United States). Decision and Information Sciences Div.

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.

• Research Organization: Argonne National Lab., Decision and Information Sciences Div., IL (United States)
• Sponsoring Organization: Department of Defense, Washington, DC (United States); USDOE Office of Energy Research, Washington, DC (United States)
• DOE Contract Number: W-31109-ENG-38
• OSTI ID: 656729
• Report Number(s): ANL/DIS/CP-95734; CONF-980251-; ON: DE98057797; TRN: AHC29817%%287
• Resource Relation: Conference: Great Lakes symposium on VLSI, Lafayette, LA (United States), 19-22 Feb 1998; Other Information: PBD: [1998]
• Country of Publication: United States
• Language: English

Related Subjects

42 ENGINEERING NOT INCLUDED IN OTHER CATEGORIES
COMPUTER-AIDED DESIGN
EQUIVALENT CIRCUITS
LOGIC CIRCUITS
ALGORITHMS