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

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: Robert Piloty , Mario Barbacci , Dominique Borrione , Donald Dietmeyer , Fredrick Hill , Patrick Skelly, CONLAN: a formal construction method for hardware description languages: language derivation, Proceedings of the May 19-22, 1980, national computer conference, May 19-22, 1980, Anaheim, California [doi>10.1145/1500518.1500551]
• 2: Robert Piloty , Mario Barbacci , Dominique Borrione , Donald Dietmeyer , Fredrick Hill , Patrick Skelly, CONLAN: a formal construction method for hardware description languages: language application, Proceedings of the May 19-22, 1980, national computer conference, May 19-22, 1980, Anaheim, California [doi>10.1145/1500518.1500552]
• 3: M. R. Barbacci, A Comparison of Register Transfer Languages for Describing Computers and Digital Systems, IEEE Transactions on Computers, v.24 n.2, p.137-150, February 1975 [doi>10.1109/T-C.1975.224181]
• 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: Barbara Liskov , Stephen Zilles, Programming with abstract data types, ACM SIGPLAN Notices, v.9 n.4, p.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."