Revised report on the algorithm language ALGOL 60
Communications of the ACM
On simulating networks of parallel processes in which simultaneous events may occur
Communications of the ACM
Flowware—a flow charting procedure to describe digital networks
ISCA '73 Proceedings of the 1st annual symposium on Computer architecture
A language for the description of digital computer processors
DAC '68 Proceedings of the 5th annual Design Automation Workshop
State table analysis of programs in an algo-like language
ACM '66 Proceedings of the 1966 21st national conference
Design Verification at the Register Transfer Language Level
IEEE Transactions on Computers
Functional Microprogramming as a Logic Design Aid
IEEE Transactions on Computers
IEEE Transactions on Computers
IEEE Transactions on Computers
SODAS and a methodology for system design
AFIPS '67 (Fall) Proceedings of the November 14-16, 1967, fall joint computer conference
| Hi-index | 48.25 |
Before the design of a system is started, the exact function desired of it should be specified. It is suggested that a computer-oriented language be used for this purpose. The inadequacies of the standard programming languages for the description of systems are discussed, and a dialect of ALGOL which is suitable for describing synchronous systems is introduced. These descriptions can be used for simulation and automatic design of the system described, in addition to communicating system specifications.