Report on the algorithmic language ALGOL 60
Communications of the ACM
A new approach to the functional design of a digital computer
IRE-AIEE-ACM '61 (Western) Papers presented at the May 9-11, 1961, western joint IRE-AIEE-ACM computer conference
A Comparison of Register Transfer Languages for Describing Computers and Digital Systems
IEEE Transactions on Computers
Translation of a DDL Digital System Specification to Boolean Equations
IEEE Transactions on Computers
The MPG System: A Machine-Independent Efficient Microprogram Generator
IEEE Transactions on Computers
Methods Used in an Automatic Logic Design Generator (ALERT)
IEEE Transactions on Computers
Functional Microprogramming as a Logic Design Aid
IEEE Transactions on Computers
IEEE Transactions on Computers
IEEE Transactions on Computers
Computer design automation: what now and what next?
AFIPS '68 (Fall, part II) Proceedings of the December 9-11, 1968, fall joint computer conference, part II
AFIPS '70 (Fall) Proceedings of the November 17-19, 1970, fall joint computer conference
Computer-aided design for custom integrated systems
AFIPS '69 (Fall) Proceedings of the November 18-20, 1969, fall joint computer conference
A high-level microprogramming language (MPL)
AFIPS '71 (Spring) Proceedings of the May 18-20, 1971, spring joint computer conference
| Hi-index | 0.02 |
The process of logic design of a computer is analogous to programming, using hardware for commands. Logic designers must frequently take imprecise narrative descriptions of computer systems, and, applying experience, ingenuity, inventiveness, and considerable perseverance, transform the description into a prescription for a running system. This process takes an inordinate amount of time. Considerable attention has been devoted to the reduction of programming time through the use of higher programming languages, such as ALGOL and COBOL, and conversion to machine code through translators. In a similar manner, translation of higher languages for logic and system design would greatly reduce the effort now needed to specify and design computer systems.