Modeling and design description of hierarchical hardware/software systems

Two fairly recent trends, one technological and one philosophical, are influencing to an increasing degree the design of digital systems today. The plummeting cost of integrated circuits, the availability of bipolar control stores, and more recently, of bipolar microprocessor elements have resulted in the hardware or firmware implementation of functions which have traditionally been realized in software, and the firmware or software realization of functions traditionally implemented in hardware. Designers of computer systems are faced with the choice of implementing file handling functions, telecommunication service functions, floating point units, and even parts of scheduling algorithms in either hardware, software, or a combination of both.

[1]  Stuart William Katzke.  A graph-oriented data structure language. , 1973 .

[2]  Richard Craig Holt,et al.  On deadlock in computer systems , 1971 .

[3]  Charles William Rose.  A system of representation for general purpose digital computer systems , 1970 .

[4]  Mario Albarran Figueroa.  Analysis of Languages for the Design of Digital Computers , 1973 .

[5]  Yaohan Chu.  Introducing CDL , 1974, Computer.

[6]  Stephen Y. H. Su.  A survey of computer hardware description languages in the U.S.A. , 1974, Computer.

[7]  R. A. Snowdon.  PEARL: an interactive system for the preparation and validation of structured programs , 1972, SIGP.

[8]  C. W. Rose,et al.  LOGOS and the software engineer , 1899, AFIPS '72 (Fall, part I).

[9]  Donald L. Dietmeyer,et al.  Translation of a DDL Digital System Specification to Boolean Equations , 1969, IEEE Transactions on Computers.

[10]  Daniel P. Siewiorek.  Introducing PMS , 1974, Computer.

[11]  Donald L. Dietmeyer,et al.  A Digital System Design Language (DDL) , 1968, IEEE Transactions on Computers.

[12]  C. G. Bell,et al.  ISP: A Language to Describe Instruction Sets and Other Register Transfer Systems, , 1972 .

[13]  C. Petri.  Kommunikation mit Automaten , 1962 .

[14]  Donald L. Dietmeyer.  Introducing DDL , 1974, Computer.

[15]  Allen Newell,et al.  Computer Structures: Readings and Examples, , 1971 .

[16]  John A. Darringer.  A language for the description of digital computer processors , 1968, DAC.

[17]  Daniel P. Siewiorek.  Introducing ISP , 1974, Computer.

[18]  Hans P. Schlaeppi.  A Formal Language for Describing Machine Logic, Timing, and Sequencing (LOTIS) , 1964, IEEE Trans. Electron. Comput..

[19]  Kenneth E. Iverson,et al.  A common language for hardware, software, and applications , 1899, AFIPS '62 (Fall).

[20]  Herbert Schorr.  Computer-Aided Digital System Design and Analysis Using a Register Transfer Language , 1964, IEEE Trans. Electron. Comput..

[21]  Richard M. Karp,et al.  Parallel Program Schemata , 1969, J. Comput. Syst. Sci..

[22]  Frederick J. Hill,et al.  Digital systems: hardware organization and design , 1973 .

[23]  Harlan D. Mills,et al.  Mathematical foundations of structured programming , 1972 .

[24]  Donald R. Slutz,et al.  The flow graph schemata model of parallel computation , 1968 .

[25]  Allen Newell,et al.  Designing computers and digital systems : using pdp16 register transfer modules , 1972 .

[26]  Franklyn Thomas Bradshaw.  Structure and representation of digital computer systems , 1971 .

[27]  Yaohan Chu,et al.  Computer organization and microprogramming , 1972 .