More Web Proxy on the site http://driver.im/

Article

Free access

Modeling and design description of hierarchical hardware/software systems

Authors:

M. AlbarranAuthors Info & Claims

DAC '75: Proceedings of the 12th Design Automation Conference

Pages 421 - 430

Published: 01 January 1975 Publication History

Abstract

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.

References

[1]

Dijkstra, E.W., "E. W. D. 249 Notes on Structural Programming," T. H. Report 70-WSK-03, Tech Univ. Eindhoven, Netherlands, April, 1970.

[2]

Rose, C. W., "LOGOS and the Software Engineer," Proc. AFIP, Fall Joint Comp. Conf., Dec. 1972, pp. 311-323.

[3]

Wirth, N., Systematic Programming, Prentice-Hall Inc., Englewood Cliffs, N. J., 1973.

Digital Library

[4]

Mills, H. D., "Mathematical Foundations of Structured Programming," Report FSC72-6012, Federal System Division, I.B.M., Gaithersburg, Md.

[5]

Snowdon, R.A., "PEARL: An Interactive System for the Preparation and Validation of Structured Programs," Computing Center Tech. Report No. 28, University of Newcastle Upon Tyne, Newcastle Upon Tyne, England, 1971.

[6]

Su, S.Y.H., "A Survey of Computer Hardware Description Languages in the U.S.A.," Computer, Vol. 7, No. 12, Dec. 1974.

[7]

Petri, C.A., "Kommunikation mit Automaten," Schriften des Reinsch-West Falischen Inst. Instrumentelle Math. und der Universitat Bonn, Nr. 2, Bonn, 1962.

[8]

Slutz, D.R., "The Flow Graph Schemata Model of Parallel Computation," Doctoral Thesis, M.I.T. Cambridge, Mass., Sept. 1968.

[9]

Karp, R.M. and Miller, R.E., "Parallel Program Schemata," Journal of Computer and System Sci. 3, 1969, pp. 147-195.

Digital Library

[10]

Luconi, F.L., "Asynchronous Computational Structures," Doctoral Thesis, M.I.T., Cambridge, Mass., January 1968.

[11]

Rose, C. W., "A System of Representation for General Purpose Digital Computer Systems," Jennings Computing Center Report No. 1113, Case Western Reserve Univ., Cleveland, Ohio, August 1970.

[12]

Bradshaw, F.T., "Structure and Representation of Digital Computer Systems," Jennings Computing Center Report No. 1114, Case Western Reserve Univ., Cleveland, Ohio, January 1971.

[13]

Katzke, S.W., "A Graph-Oriented Data Structure Language," Jennings Computing Center Report No. 1126, Case Western Reserve Univ., Cleveland, Ohio, June 1973.

[14]

Holt, R.C., "On Deadlock in Computer Systems," Doctoral Dissertation, Cornell Univ., Ithaca, N.Y., January 1971.

Digital Library

[15]

Torson, J.M., "Deadlock Prevention and Analysis of Control Flow Behavior in Digital Computer Systems," Jennings Computing Center Report No. 1128, Case Western Reserve Univ., Cleveland, Ohio, July 1973.

[16]

Parent, M.R., "Graphical Properties of Control Graph Models," Jennings Computing Center Report No. 1147, Case Western Reserve Univ., Cleveland, Ohio, Spring 1974.

[17]

Barbacci, M., Bell, C.G., and Newell, A., ISP: A Language to Describe Instruction Sets and Other Register Transfer Systems, Dept. of Computer Science, Carnegie-Mellon University.

[18]

Bell, Gordon and Newell, Allen, Computer Structures: Readings and Examples, McGraw-Hill Book Co., 1971.

Digital Library

[19]

Siewiorek, D., "Introducing ISP," Computer, Vol. 7, No. 12, Dec. 1974.

[20]

Albarran, M., "Analysis of Languages for the Design of Digital Computers," Report No. R-611, Coordinated Science Laboratory, University of Illinois at Urbana-Champaign, May 1973.

[21]

Bell, C.G., Knudsen, M., and Siewiorek, D., "PMS: A Notation to Describe Computer Structures," Digest, 6th Ann. IEEE Computer Soc. Internal. Conf., pp. 227-230, 1972.

[22]

Bell, Gordon, Grason, John, and Newell, Allen, Designing Computers and Digital Systems Using PDP-16 Register Transfer Modules, Digital Press, 1972.

[23]

Siewiorek, D., "Introducing PMS," Computer, Vol. 7, No. 12, Dec. 1974.

[24]

Hill, F.J. and Peterson, G.R., Digital Systems Hardware, Organization, and Design, John Wiley and Sons, 1973.

Digital Library

[25]

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

[26]

Chu, Yaohan, Computer Organization and Microprogramming, Prentice-Hall, Inc., 1972.

[27]

Chu, Yaohan, "Introducing the Computer Design Language," Digest, 6th Ann. IEEE Computer Soc. Internatl. Conf., 1972, pp. 215-218.

[28]

Chu, Y., "Introducing CDL," Computer, Vol. 7, No. 12, Dec. 1974.

[29]

Darringer, John A., "A Language for the Description of Digital Computer Processors," Proc. 5th Ann. Design Automation Workshop, 1968, pp. 15-18.

Digital Library

[30]

Duley, James R. and Dietmeyer, Donald L., "A Digital System Design Language (DDL)," IEEE Trans. on Computers, C-17, 9, Sept. 1968, pp. 850-861.

Digital Library

[31]

Duley, James R. and Dietmeyer, Donald L., "Translation of a 'DDL' Digital System Specification to Boolean Equations," IEEE Trans. on Computers, C-18, April 1969.

[32]

Dietmeyer, D.L., "Introducing DDL," Computer, Vol. 7, No. 12, Dec. 1974.

[33]

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

[34]

Metze, G. and Seshu, S., "Computer Compiler-Preliminary Report," Rep. R-264, Coord. Sci.Lab., Univ. of Illinois, Urbana-Champaign, August 1965.

[35]

Schorr, Herbert, "Computer-Aided Digital System Design and Analysis Using a Register Transfer Language," IEEE Trans. on Elec. Compts., pp. 730-737, Dec. 1964.

[36]

Schorr, Herbert, "Towards the Automatic Analysis and Synthesis of Digital Systems," Doctoral Dissertation, Princeton Univ., 1963.

[37]

Jazayeri, Mehdi, "A Programmed Introduction for Users of a Computer-Aided Design System," Jennings Computing Center Report No. 1130, Case Western Reserve Univ., Jan. 1974.

[38]

Scott, Mark, "Hardware Implementation of LOGOS Operators," Masters Thesis, Case Western Reserve Univ., 1973.

Cited By

Hill DvanCleemput W(1988)SABLE: A tool for generating structured, multi-level simulationsPapers on Twenty-five years of electronic design automation10.1145/62882.62925(365-272)Online publication date: 1-Jun-1988
https://dl.acm.org/doi/10.1145/62882.62925
Hill DvanCleemput WMagnuson WCairns JThomas DLoomis HFrew RKeiner BBurke DStaller JWilcox PGoldfein AGray JLerman HMcDonald POfek HEisenberg HNash DSrch RSmith RParke FGibson D(1979)SABLEProceedings of the 16th Design Automation Conference10.5555/800292.811721(272-279)Online publication date: 25-Jun-1979
https://dl.acm.org/doi/10.5555/800292.811721
Nagle ACrocker SJohnson GParker AAshlstrom J(1978)Automatic synthesis of microcontrollersProceedings of the 11th annual workshop on Microprogramming10.5555/800132.804318(112-117)Online publication date: 19-Nov-1978
https://dl.acm.org/doi/10.5555/800132.804318
Show More Cited By

Index Terms

Modeling and design description of hierarchical hardware/software systems
1. Computing methodologies
  1. Modeling and simulation
    1. Model development and analysis
      1. Modeling methodologies
2. Social and professional topics
  1. Professional topics
    1. Management of computing and information systems
      1. Project and people management
        Systems analysis and design

Recommendations

Virtualizable hardware/software design infrastructure for dynamically partially reconfigurable systems
Special Section on 19th Reconfigurable Architectures Workshop (RAW 2012)

In most existing works, reconfigurable hardware modules are still managed as conventional hardware devices. Further, the software reconfiguration overhead incurred by loading corresponding device drivers into the kernel of an operating system has been ...
Application hardware-software co-design for reconfigurable computing systems
Hardware-software co-design of AES on FPGA
ICACCI '12: Proceedings of the International Conference on Advances in Computing, Communications and Informatics

This paper presents a compact hardware-software co-design of Advanced Encryption Standard (AES) on the field programmable gate arrays (FPGA) designed for low-cost embedded systems. The design uses MicroBlaze, a soft-core processor from Xilinx. The ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences

DAC '75: Proceedings of the 12th Design Automation Conference

January 1975

448 pages

Publisher

IEEE Press

Publication History

Published: 01 January 1975

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

5
Total Citations
View Citations
333
Total Downloads

Downloads (Last 12 months)37
Downloads (Last 6 weeks)4

Reflects downloads up to 31 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

Hill DvanCleemput W(1988)SABLE: A tool for generating structured, multi-level simulationsPapers on Twenty-five years of electronic design automation10.1145/62882.62925(365-272)Online publication date: 1-Jun-1988
https://dl.acm.org/doi/10.1145/62882.62925
Hill DvanCleemput WMagnuson WCairns JThomas DLoomis HFrew RKeiner BBurke DStaller JWilcox PGoldfein AGray JLerman HMcDonald POfek HEisenberg HNash DSrch RSmith RParke FGibson D(1979)SABLEProceedings of the 16th Design Automation Conference10.5555/800292.811721(272-279)Online publication date: 25-Jun-1979
https://dl.acm.org/doi/10.5555/800292.811721
Nagle ACrocker SJohnson GParker AAshlstrom J(1978)Automatic synthesis of microcontrollersProceedings of the 11th annual workshop on Microprogramming10.5555/800132.804318(112-117)Online publication date: 19-Nov-1978
https://dl.acm.org/doi/10.5555/800132.804318
Nagle A(1978)Automatic synthesis of microcontrollersACM SIGMICRO Newsletter10.1145/1014198.8043189:4(112-117)Online publication date: 19-Nov-1978
https://dl.acm.org/doi/10.1145/1014198.804318
Azema PValette RDiaz MHumcke DGaley JSzygenda SPistilli PDooner NBrinsfield JOlila J(1976)Petri nets as a common tool for design verification and hardware simulationProceedings of the 13th Design Automation Conference10.1145/800146.804803(109-116)Online publication date: 28-Jun-1976
https://dl.acm.org/doi/10.1145/800146.804803

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

Media

Figures

Other

Tables

View Table of Contents