Identifying High-Level Components in Combinational Circuits

Travis Doom, Jennifer White, Anthony Wojcik, Greg Chisholm

Research output: Chapter in Book/Report/Conference proceedingConference 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 languageAmerican English
Title of host publicationProceedings of the IEEE Great Lakes Symposium on VLSI
PublisherIEEE
Pages313-318
Number of pages6
ISBN (Print)0-8186-8409-7
DOIs
StatePublished - Aug 6 2002
EventProceedings of the 1998 8th Great Lakes Symposium on VLSI - Lafayette, LA, USA
Duration: Feb 19 1998Feb 21 1998

Conference

ConferenceProceedings of the 1998 8th Great Lakes Symposium on VLSI
CityLafayette, LA, USA
Period2/19/982/21/98

ASJC Scopus Subject Areas

  • Electrical and Electronic Engineering

Keywords

  • Combinational circuits
  • Logic design
  • Design automation

Disciplines

  • Computer Sciences
  • Engineering

Cite this