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

fYear

1998

fDate

19-21 Feb 1998

Firstpage

313

Lastpage

318

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;

fLanguage

English

Publisher

ieee

Conference_Titel

VLSI, 1998. Proceedings of the 8th Great Lakes Symposium on

Conference_Location

Lafayette, LA

ISSN

1066-1395

Print_ISBN

0-8186-8409-7

Type

conf

DOI

10.1109/GLSV.1998.665284

Filename

665284