Identifying High-Level Components in Combinational Circuits

Travis Doom; Jennifer White; Anthony Wojcik; Greg Chisholm

doi:10.1109/GLSV.1998.665284

Identifying High-Level Components in Combinational Circuits

Travis Doom, Jennifer White, Anthony Wojcik, Greg Chisholm

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

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.

Original language	American English
Title of host publication	Proceedings of the IEEE Great Lakes Symposium on VLSI
Publisher	IEEE
Pages	313-318
Number of pages	6
ISBN (Print)	0-8186-8409-7
DOIs	https://doi.org/10.1109/GLSV.1998.665284
State	Published - Aug 6 2002
Event	Proceedings of the 1998 8th Great Lakes Symposium on VLSI - Lafayette, LA, USA Duration: Feb 19 1998 → Feb 21 1998

Conference

Conference	Proceedings of the 1998 8th Great Lakes Symposium on VLSI
City	Lafayette, LA, USA
Period	2/19/98 → 2/21/98

ASJC Scopus Subject Areas

Electrical and Electronic Engineering

Keywords

Combinational circuits
Logic design
Design automation

Disciplines

Computer Sciences
Engineering

Access to Document

10.1109/GLSV.1998.665284License: Unspecified

Cite this

@inproceedings{c521ff4ad56740428a6a62b376f4fe11,

title = "Identifying High-Level Components in Combinational Circuits",

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 = "Combinational circuits, Logic design, Design automation",

author = "Travis Doom and Jennifer White and Anthony Wojcik and Greg Chisholm",

year = "2002",

month = aug,

day = "6",

doi = "10.1109/GLSV.1998.665284",

language = "American English",

isbn = "0-8186-8409-7",

pages = "313--318",

booktitle = "Proceedings of the IEEE Great Lakes Symposium on VLSI",

publisher = "IEEE",

note = "Proceedings of the 1998 8th Great Lakes Symposium on VLSI ; Conference date: 19-02-1998 Through 21-02-1998",

}

TY - GEN

T1 - Identifying High-Level Components in Combinational Circuits

AU - Doom, Travis

AU - White, Jennifer

AU - Wojcik, Anthony

AU - Chisholm, Greg

PY - 2002/8/6

Y1 - 2002/8/6

N2 - 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.

AB - 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.

KW - Combinational circuits

KW - Logic design

KW - Design automation

UR - http://www.scopus.com/inward/record.url?scp=0031705099&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0031705099&partnerID=8YFLogxK

UR - https://corescholar.libraries.wright.edu/cse/288

U2 - 10.1109/GLSV.1998.665284

DO - 10.1109/GLSV.1998.665284

M3 - Conference contribution

SN - 0-8186-8409-7

SP - 313

EP - 318

BT - Proceedings of the IEEE Great Lakes Symposium on VLSI

PB - IEEE

T2 - Proceedings of the 1998 8th Great Lakes Symposium on VLSI

Y2 - 19 February 1998 through 21 February 1998

ER -

Identifying High-Level Components in Combinational Circuits

Abstract

Conference

ASJC Scopus Subject Areas

Keywords

Disciplines

Access to Document

Other files and links

Cite this