A Digital System Design Language (DDL)
作者： J.R. Duley , D.L. Dietmeyer
关键词:
摘要: Abstract—Successful design and manufacture of future digital systems will depend upon the availability a suitable language. A precise, concise language is presented which facilitates specification complex systems. The 1) independent any particular technology, procedure, machine organization, etc., 2) allows at different levels detail from architecture to detailed Boolean equations, 3) may be com- piled into manufacturing information. Its syntax semantics per- mit documents with an organization parallels block struc- ture they specify.
sci-hub.se 参考文章(13)
Yaohan Chu, Digital computer design fundamentals ,(1962)
A. D. Falkoff, K. E. Iverson, E. H. Sussenguth, A formal description of SYSTEM/360 IBM Systems Journal. ,vol. 3, pp. 198- 261 ,(1964) , 10.1147/SJ.32.0198
K. E. Iverson, Programming notation in systems design Ibm Systems Journal. ,vol. 38, pp. 139- 150 ,(1999) , 10.1147/SJ.382.0139
Herbert Schorr, Computer-Aided Digital System Design and Analysis Using a Register Transfer Language IEEE Transactions on Electronic Computers. ,vol. 13, pp. 730- 737 ,(1964) , 10.1109/PGEC.1964.263907
Yaohan Chu, An ALGOL-like computer design language Communications of the ACM. ,vol. 8, pp. 607- 615 ,(1965) , 10.1145/365628.365650
Roy M. Proctor, A Logic Design Translator Experiment Demonstrating Relationships of Language to Systems and Logic Design IEEE Transactions on Electronic Computers. ,vol. 13, pp. 422- 430 ,(1964) , 10.1109/PGEC.1964.263824
Kenneth E. Iverson, A common language for hardware, software, and applications Proceedings of the December 4-6, 1962, fall joint computer conference on - AFIPS '62 (Fall). pp. 121- 129 ,(1962) , 10.1145/1461518.1461530
H. P. Schlaeppi, A Formal Language for Describing Machine Logic, Timing, and Sequencing (LOTIS) IEEE Transactions on Electronic Computers. ,vol. 13, pp. 439- 448 ,(1964) , 10.1109/PGEC.1964.263846
Irving S. Reed, Symbolic synthesis of digital computers Proceedings of the 1952 ACM national meeting (Toronto) on. pp. 90- 94 ,(1952) , 10.1145/800259.809004
David L Parnas, None, A language for describing the functions of synchronous systems Communications of the ACM. ,vol. 9, pp. 72- 76 ,(1966) , 10.1145/365170.365176