skip to main content
10.1145/1500518.1500550acmotherconferencesArticle/Chapter ViewAbstractPublication PagesafipsConference Proceedingsconference-collections
research-article
Free access

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

Published: 19 May 1980 Publication History

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.

References

[1]
Piloty, R., Barbacci, M., Borrione, D., Dietmeyer, D., Hill, F. and Skelly, P., "CONLAN---A Formal Construction Method for Hardware Description Languages: Language Derivation," Proceedings National Computer Conference, Volume 49, Anaheim, California, 1980.
[2]
Piloty, R., Barbacci, M., Borrione, D., Dietmeyer, D., Hill, F. and Skelly, P., "CONLAN---A Formal Construction Method for Hardware Description Languages: Language Application," Proceedings National Computer Conference, Volume 49, Anaheim, California, 1980.
[3]
Barbacci, M. R., "A Comparison of Register Transfer Languages for Describing Computers and Digital Systems," IEEE Computer Society, Transactions on Computers, Volume C-24, Number 2, February 1975.
[4]
Special issue on Hardware Description Languages, IEEE Computer Society, Computer, Vol. 7, No. 12, Dec. 1974.
[5]
Proceedings of the 2nd International Symposium on Computer Hardware Description Languages, Darmstadt, ACM German Chapter Lectures W---1974.
[6]
Proceedings of the 3rd International Symposium on Computer Hardware Description Languages and their Applications, New York, Sept. 3--5, 1975. IEEE Cat. No. 75 CH1010--8C.
[7]
Proceedings of the 4th International Symposium on Computer Hardware Description Languages, Palo Alto, Oct. 8--9, 1979 IEEE Cat. No. 79 CH1436--5C.
[8]
Special issue on Hardware Description Languages, IEEE Computer Society, Computer, Vol. 10, No. 6, June 1977.
[9]
Collection of Proceedings of the IEEE, ACM Design Automation Conference.
[10]
Collection of Proceedings of the Fault Tolerant Computing Symposia.
[11]
Piloty, R., "Guidelines for a Computer Hardware Description Consensus Language" (2nd draft), Memorandum to the Conference on Digital Hardware Languages, June 6, 1976.
[12]
Liskov, B. and Zilles, S., "Programming with Abstract Data Types," SIGPLAN Notices 9, pp. 50--59, April 1974.
[13]
Liskov, B., Snyder, A., Atkinson, R. and Schaffert, C., "Abstraction Mechanism in CLU," Computation Structures Group, Memo 144--1, MIT January 1977.
[14]
Wulf, W. A., "Alphard: Toward a Language to Support Structured Programming," Technical Report, Department of Computer Science, Carnegie-Mellon University, April 1974.
[15]
Wulf, W. A., London, R. L. and Shaw, M., "Abstraction and Verification in ALPHARD," Technical Report, Department of Computer Science, Carnegie-Mellon University, March 1976.
[16]
Lucas, P. and Walk, K., "On the Formal Description of PL/I," Annual Review of Automatic Programming, Vol. 6, part 3, 1969.
[17]
Jacquet, P., "Les Types Generic: Propositions pour un Mecanisme d'Abstraction dans les Langages de Programmation."

Cited By

View all
  • (2006)A formal model of computer architectures for digital system design environmentsIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems10.1109/43.551799:5(473-486)Online publication date: 1-Nov-2006
  • (2005)Introduction and general philosophyCONLAN Report10.1007/3-540-12275-3_6(1-20)Online publication date: 31-May-2005
  • (2003)System level specification in Lava2003 Design, Automation and Test in Europe Conference and Exhibition10.1109/DATE.2003.1253636(370-375)Online publication date: 2003
  • Show More Cited By

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Other conferences
AFIPS '80: Proceedings of the May 19-22, 1980, national computer conference
May 1980
932 pages
ISBN:9781450379236
DOI:10.1145/1500518
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

  • AFIPS: American Federation of Information Processing Societies

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 19 May 1980

Permissions

Request permissions for this article.

Check for updates

Qualifiers

  • Research-article

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)51
  • Downloads (Last 6 weeks)8
Reflects downloads up to 19 Feb 2025

Other Metrics

Citations

Cited By

View all
  • (2006)A formal model of computer architectures for digital system design environmentsIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems10.1109/43.551799:5(473-486)Online publication date: 1-Nov-2006
  • (2005)Introduction and general philosophyCONLAN Report10.1007/3-540-12275-3_6(1-20)Online publication date: 31-May-2005
  • (2003)System level specification in Lava2003 Design, Automation and Test in Europe Conference and Exhibition10.1109/DATE.2003.1253636(370-375)Online publication date: 2003
  • (1999)OpenJ: an extensible system level design languageDesign, Automation and Test in Europe Conference and Exhibition, 1999. Proceedings (Cat. No. PR00078)10.1109/DATE.1999.761169(480-484)Online publication date: 1999
  • (1986)VHDL CritiqueIEEE Design & Test10.1109/MDT.1986.2949173:2(54-65)Online publication date: 1-Mar-1986
  • (1984)Block Description Language (BDL): A Structural Description Language21st Design Automation Conference Proceedings10.1109/DAC.1984.1585776(81-85)Online publication date: 1984
  • (1983)VHSIC Hardware Description (VHDL) Development Program20th Design Automation Conference Proceedings10.1109/DAC.1983.1585720(625-628)Online publication date: 1983
  • (1982)The CONLAN Project: Status and Future Plans19th Design Automation Conference10.1109/DAC.1982.1585501(202-212)Online publication date: 1982
  • (1982)Computer Design and Description LanguagesAdvances in Computers Volume 2110.1016/S0065-2458(08)60568-9(91-154)Online publication date: 1982
  • (1980)CONLANProceedings of the May 19-22, 1980, national computer conference10.1145/1500518.1500552(229-236)Online publication date: 19-May-1980
  • Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media