Article

Free access

A language for the description of digital computer processors

Author:

John A. DarringerAuthors Info & Claims

DAC '68: Proceedings of the 5th annual Design Automation Workshop

Pages 15.1 - 15.18

https://doi.org/10.1145/800167.805400

Published: 15 July 1968 Publication History

Abstract

This paper discusses the need for an algorithmic language for writing behavioral descriptions of digital computer processors and proposes an Algol-like candidate. It also discusses programs that simulate and automatically implement processors described in the language.

References

[1]

Parnas D.L. and J. A. Darringer, "SODAS and A Methodology for System Design" 1967 AFIPS Proc. of the FJCC, pp. 449-474.

[2]

Breuer, M. A., "General Survey of Design Automation of Digital Computers", Proc. of the IEEE, Vol. 54, No. 12, December 1966, pp. 1708-1721.

[3]

Gorman, D. F., and J. P. Anderson, "A Logical Design Translator", 1962 AFIPS Proc. of the FJCC, pp. 251-261.

[4]

Proctor, R. M., "A Logical Design Translator Experiment Demonstrating the Relationship of Language to Systems and Logical Design", IEEE Trans. On Electronic Computers, Vol. EC-13, August 1964, pp. 422-430.

[5]

Schorr, H., "Computer-Aided Digital System Design and Analysis Using A Register Transfer Language", IEEE Trans. On Electronic Computers, Vol. EC-13, December 1964, pp. 730-737.

[6]

Schlaeppi, H. P., "A Formal Language for Describing Machine Logic, Timing, and Sequencing (LOTIS)", IEEE Trans. on Electronic Computers, Vol. EC-13, August 1964, pp. 439-448.

[7]

Duley, J. R., "DDL - A Digital System Design Language", Ph.D. thesis, Department of Electrical Engineering, University of Wisconsin, 1967.

[8]

Iverson, K. E., A Programming Language, John Wiley, Inc., New York, New York, 1962.

Digital Library

[9]

Iverson, K. E., "A Common Language for Hardware, Software, and Applications", 1962 AFIPS Proc. of the FJCC, pp. 121-129.

[10]

Iverson, K. E., "A Transliteration Scheme for the Keying and Printing of Microprograms", IBM Research Note NC-79, April 1962.

[11]

Senzig, S. N., "Suggested Notation for the Iverson Notation", IBM Research Note NC-120, July 1962.

[12]

Parnas, D. L., "A Language for Describing the Functions of Synchronous Systems", Comm. of the ACM, Vol. 9, No. 2, February 1966.

Digital Library

[13]

Naur, P., ed., "Report on the Algorithmic Language Algol-60", Comm. of the ACM, Vol. 3, May 1960, pp. 299-314.

Digital Library

[14]

IBM, "PL/I Language Specification for IBM System 360/Operating System", Form C28-6571-3, 1966.

[15]

Knuth, D. E. and J. L. McNeley, "SOL - A Symbolic Language for General-Purpose Systems Simulation", IEEE Trans. on Electronic Computers, Vol. EC-13, August 1964, pp. 401-408.

[16]

Fierst, J. W., ed., "Algol-20 A Language Manual", Carnegie-Mellon University, 1965.

[17]

Wirth, N. and H. Weber, "Euler - A Generalization of Algol, and its Formal Definition: Part I", Comm. of the ACM, Vol. 9, No. 1, January 1966, pp. 13-23.

Digital Library

[18]

Parnas, D. L., "System Function Description Algol", Ph.D. thesis, Carnegie-Mellon University, 1965.

Cited By

Flake PMoorby PGolson SSalz ADavidmann S(2020)Verilog HDL and its ancestors and descendantsProceedings of the ACM on Programming Languages10.1145/33863374:HOPL(1-90)Online publication date: 12-Jun-2020
https://dl.acm.org/doi/10.1145/3386337
Rose CAlbarran MHitchcock RHumcke DSzygenda S(1975)Modeling and design description of hierarchical hardware/software systemsProceedings of the 12th Design Automation Conference10.5555/800261.809096(421-430)Online publication date: 1-Jan-1975
https://dl.acm.org/doi/10.5555/800261.809096
Glasser A(1975)A terminal oriented Hardware Simulator for educational useACM SIGCSE Bulletin10.1145/953064.8111557:1(179-186)Online publication date: 1-Jan-1975
https://dl.acm.org/doi/10.1145/953064.811155
Show More Cited By

Index Terms

A language for the description of digital computer processors
1. Software and its engineering
  1. Software notations and tools
    1. System description languages
  2. Software organization and properties
    1. Software system structures
      1. Software architectures

Recommendations

Retargetable compiled simulation of embedded processors using a machine description language

Fast processor simulators are needed for the software development of embedded processors, for HW/SW cosimulation systems, and for profiling and design of application-specific processors. Such fast simulators can be generated based on the machine ...
The Zephyr abstract syntax description language
DSL'97: Proceedings of the Conference on Domain-Specific Languages on Conference on Domain-Specific Languages (DSL), 1997

The Zephyr Abstract Syntax Description Language (ASDL) describes the abstract syntax of compiler intermediate representations (IRs) and other tree-like data structures. Just as the lexical and syntactic structures of programming languages are described ...
Hardware Description Language Applications: An Introdiction and Prognosis

Just as Software designers use high-level languages like Algol, Fortran, PL/I, and Snobol to express algorithms in terms of language statements, so digital hardware designers use hardware description languages to describe the digital systems they want ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

DAC '68: Proceedings of the 5th annual Design Automation Workshop

July 1968

568 pages

ISBN:9781450374750

DOI:10.1145/800167

Copyright © 1968 ACM.

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

ACM: Association for Computing Machinery
SIGDA: ACM Special Interest Group on Design Automation
IEEE: Institute of Electrical and Electronics Engineers
SHARE: SHARE

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 15 July 1968

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Acceptance Rates

Overall Acceptance Rate 1,770 of 5,499 submissions, 32%

Upcoming Conference

DAC '25

Sponsor:
sigda

62nd ACM/IEEE Design Automation Conference

June 22 - 26, 2025

San Francisco , CA , USA

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

4
Total Citations
View Citations
283
Total Downloads

Downloads (Last 12 months)36
Downloads (Last 6 weeks)6

Reflects downloads up to 29 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

Flake PMoorby PGolson SSalz ADavidmann S(2020)Verilog HDL and its ancestors and descendantsProceedings of the ACM on Programming Languages10.1145/33863374:HOPL(1-90)Online publication date: 12-Jun-2020
https://dl.acm.org/doi/10.1145/3386337
Rose CAlbarran MHitchcock RHumcke DSzygenda S(1975)Modeling and design description of hierarchical hardware/software systemsProceedings of the 12th Design Automation Conference10.5555/800261.809096(421-430)Online publication date: 1-Jan-1975
https://dl.acm.org/doi/10.5555/800261.809096
Glasser A(1975)A terminal oriented Hardware Simulator for educational useACM SIGCSE Bulletin10.1145/953064.8111557:1(179-186)Online publication date: 1-Jan-1975
https://dl.acm.org/doi/10.1145/953064.811155
Hartson HGaraffa NFreitag HHerskowitz GLerman H(1969)Digital control simulation systemProceedings of the 6th annual Design Automation Conference10.1145/800260.809021(113-144)Online publication date: 1-Jan-1969
https://dl.acm.org/doi/10.1145/800260.809021

View Options

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

Figures

Tables

Media

View Table of Conten