CONLAN: a formal construction method for hardware description languages: basic principles

  • Authors:

  • Robert Piloty;Mario Barbacci;Dominique Borrione;Donald Dietmeyer;Fredrick Hill;Patrick Skelly

  • Affiliations:

  • Technische Hochschule Darmstadt, FR Germany;Carnegie-Mellon University;Universite de Grenoble, France;University of Wisconsin-Madison;University of Arizona-Tucson;Honeywell, Phoenix

  • Venue:
  • AFIPS '80 Proceedings of the May 19-22, 1980, national computer conference
  • Year:
  • 1980

Quantified Score

Hi-index 0.00

Visualization

Abstract

The development of a CONLAN(CONsensus LANguage) goes back to the first Symposium on Hardware Description Languages (HDL) at Rutgers University in 1973. It was initiated by J. Lipovski, then Univ. of Florida. After two years of preparatory work the CONLAN Working Group was formed on the occasion of the third Symposium on HDL in New York. These papers represent the result of four years of hard work of a group spread out over two continents. This work is by no means complete; many things have still to be done. Nevertheless, encouraged by the positive response to an informal presentation of our approach at the fourth Symposium on HDL in Palo Alto 1979, we feel that publication of what we have obtained so far is warranted. This paper presents the basic principles of CONLAN. Two companion papers [1, 2] treat language derivation and language application within the framework of CONLAN. A more detailed report, of which a draft exists already, will be forthcoming soon.