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