Silicon Compilation of Very High Level Languages.

Abstract

The report concerns the design and implementation of a silicon compiler for two Very High Level Languages. The first language is a set language similar to VERS or SETL. The second language is a novel signal processing language. The compiler uses data flow and type information to constrain possible choices before choosing a possible implementation. Heuristic search is then used to choose from competing implementations of abstract data types. Constraint propagation is used at every selection step to remove incompatible configurations from the search. Finally, the use of specialized procedures called 'design critics' is proposed to resolve global constraint conflicts. The output of the compiler is a parts list, a net list of module interconnections and the fields of the control store. Keywords: Integrated circuit design; VLSI; Very high level languages. (Author)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Oct 01, 1984
Accession Number
ADA165799

Entities

People

  • Mark W. Kahrs

Organizations

  • University of Rochester

Tags

Communities of Interest

  • Advanced Electronics

DTIC Thesaurus Topics

  • Abstracts
  • Classification
  • Compilers
  • Computer Languages
  • Computer Science
  • Computers
  • Department Of Veterans Affairs
  • High Level Languages
  • Information Systems
  • Integrated Circuits
  • Language
  • Military Research
  • New York
  • Security
  • Signal Processing

Fields of Study

  • Computer science

Readers

  • Artificial Intelligence
  • Parallel and Distributed Computing.
  • Software Verification and Validation.