Abstract
Recovering functional information from existing hardware is a difficult problem in design automation. However, it is an important focus for designers attempting to redesign for expanded functionality or superior performance. Often, the only reliable information available about a piece of digital hardware is the hardware itself. Documentation, even if it is available, may be outdated or incorrect. Existing procedures are able to recover the transistor-level netlist, or a gate-level netlist from an existing implementation. The next step in this process is the gate-level to module-level transformation, the focus of this paper. We have designed a technique to enumerate all of the potential modules within a gate-level netlist so that their functional equivalence to known modules may be evaluated.
Original language | English |
---|---|
Title of host publication | GLSVLSI '00: Proceedings of the 10th Great Lakes symposium on VLSI |
Publisher | Association for Computing Machinery |
Pages | 34-38 |
Number of pages | 5 |
ISBN (Print) | 978-1-58113-251-9 |
DOIs | |
State | Published - Mar 2 2000 |
Externally published | Yes |
Event | 10th Great Lakes Symposium on VLSI - Chicago, IL, USA Duration: Mar 2 2000 → Mar 4 2000 Conference number: 10 |
Conference
Conference | 10th Great Lakes Symposium on VLSI |
---|---|
Abbreviated title | GLSVLSI 2000 |
City | Chicago, IL, USA |
Period | 3/2/00 → 3/4/00 |
ASJC Scopus Subject Areas
- Electrical and Electronic Engineering
Disciplines
- Computer Sciences
- Engineering