ELF: A tool for automatic synthesis of custom physical CAD software

Dorothy E. Setliff, Rob A. Rutenbar

Research output: Contribution to journalConference articlepeer-review

Abstract

The authors describe how program synthesis techniques can be applied to the generation of technology-sensitive VLSI design tools. They present results from ELF, a synthesis tool for wire-routing software. The ELF synthesis architecture has three key features. First, a very high-level language, lacking data structure implementation specifications, is used to describe algorithm design styles. Second, routing domain knowledge and generic program synthesis knowledge are used to guide search among candidate design styles for all necessary component algorithms and to deduce compatible data structure implementations for these components. Third, code generation is used to transform the resulting abstract descriptions of selected algorithms and data structures into final, executable code. Code generation is an incremental, stepwise refinement process. The authors present experimental results from several correct, fully functional routers synthesized by ELF from varying high-level specifications.

Original languageEnglish (US)
Pages (from-to)543-548
Number of pages6
JournalProceedings - Design Automation Conference
DOIs
StatePublished - 1989
Event26th ACM/IEEE Design Automation Conference - Las Vegas, NV, USA
Duration: Jun 25 1989Jun 29 1989

ASJC Scopus subject areas

  • Hardware and Architecture
  • Control and Systems Engineering

Fingerprint Dive into the research topics of 'ELF: A tool for automatic synthesis of custom physical CAD software'. Together they form a unique fingerprint.

Cite this