Skip to main content
SpringerLink
Log in
SpringerLink
Log in

RTS — Eine Sprache zur Beschreibung von Registernetzen

  • Conference paper
1. Fachtagung über Programmiersprachen

Part of the book series: Lecture Notes in Economics and Mathematical Systems ((LNE,volume 75))

  • 363 Accesses

Zusammenfassung

Das Problem, einen Automaten zu konstruieren, der in der Lage ist, sich oder seinesgleichen zu reproduzieren, hat auf dem Gebiet der automatischen Konstruktion von Computern durch Computer schon heute reale technisch-wissenschaftliche Bedeutung. Allerdings handelt es sich hierbei um Teillösungen des obigen Problems, da man im rechnergestützten Entwurfsprozeß von Rechnern noch keineswegs ohne menschliche Intervention auskommt, ja sogar wesentliche Entwurfsaufgaben nach wie vor von der Person des Konstrukteurs gelöst werden müssen. Verständigungsmittel zwischen Konstrukteur und entwerfendem Computer sind auf allen Stufen des Entwurfsprozesses formale Sprachen. Sie dienen zur Dokumentation der jeweiligen Entwurfsstufe einerseits und zur Steuerung der automatisierten Entwurfsvorgänge andererseits.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 49.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 59.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Literaturhinweise

  1. P.W. Case, H.H. Graff, L.E. Griffith, A.R. LeClercq.,W.B. Murley, T.M. Spence, Solid Logic Design Automation, IBM J. Res.andDev. 8(Apr. 64 ), pp. 127–140.

    Google Scholar 

  2. H. Clausert, I. Kahlert-Warmboldt, Untersuchung digitaler Schaltungen mit dem Programmsystem DICAP, El. DV. 11,9 (Sept. 69), S. 443–451 und El. DV. 12,2 (Feb. 70 ), S. 75–82.

    Google Scholar 

  3. G.G. Hays, Computer-Aided Design: Simulation of Digital Design Logic, IEEE-Trans.Comp. C-18,1 (Jan 69 ), pp. 1–10.

    Google Scholar 

  4. J.S. Jephson, R.P. McQuarrie, R.E. Vogelsberg, A Three-Value Computer Design Verification System, IBM Syst. J. 3,3 (1969), pp. 178–188.

    Article  Google Scholar 

  5. W. Jost, TIPSI-Ein Time-Sharing-Programm zur Simulation von Digitalschaltungen, EL.DV. 12,12 (Dez. 70 ), S. 533–586.

    Google Scholar 

  6. M. Lehmann, R. Eshed, Z. Netter, The Checking of Computer Logic by Simulation on a Computer, Comp. J. 6,2 (July 63 ), pp. 154–162.

    Google Scholar 

  7. L. Shalla, Automatic Analysis of Electronic Digital Circuits Using List-Processing, Com. ACM 9,5 (May 66 ), pp. 372–380.

    Google Scholar 

  8. E.G. Ulrich, Time-Sequenced Logical Simulation Based on Circuit Delay and Selective Tracing of Active Network Paths, Proc. ACM 20th Nat. Conf., 1965, pp. 437–448.

    Google Scholar 

  9. E.G. Ulrich, Exclusive Simulation of Activity in Digital Network, Com. ACM 12,2 (Feb. 69 ), pp. 102–110

    Google Scholar 

  10. I.S. Reed, Symbolic Systhesis of Digital Computers, Proc. ACM (Sept. 52 ), pp. 90–94.

    Google Scholar 

  11. Y. Chu, Digital Computer Design Fundamentals, New York: McGraw-Hill, 1962.

    Google Scholar 

  12. H. Schorr, Computer Aided Digital Systems Design and Analysis Using a Register Transfer Language, IEEE-Trans. El. Comp. EC-13, 12(Dez. 64 ), pp. 730–737

    Google Scholar 

  13. Y. Chu, An ALGOL-like Computer Design Language, Com. ACM 8,10 (okt. 65 ), pp. 607–615.

    Google Scholar 

  14. K.E. Iverson, A Programming Language, New York: Wiley, 1962

    Google Scholar 

  15. K.E. Iverson, A Common Language for Hardware, Software, and Applications, AFIPS Proc. 22 (Fall 62 ), pp. 121–129.

    Google Scholar 

  16. K.E. Iverson, A Programming Notation in System Design, IBM Syst. J.2(June 63 ), pp. 117–128.

    Google Scholar 

  17. A.D. Falkoff, K.E. Iverson, E.H. Sussenguth, A Formal Description of System /360, IBM Syst. J. 3,3 (1964), pp. 198–262.

    Google Scholar 

  18. H.P. Schlaeppi, A Formal Language for Describing Machine Logic, Timing, and Sequencing (LOTIS), IEEE-Trans. El. Comp. EC-13,4 (Aug. 64 ), pp. 439–448.

    Google Scholar 

  19. J.R. Duley, D.L. Dietmeyer, A Digital System Design Language (DDL), IEEE-Trans. Comp. C-17,9 (Sept. 68 ), pp. 850–861.

    Google Scholar 

  20. R. Piloty, RTS I (Registertransfersprache), 3. Auflage, Institut für Nachrichtenverarbeitung, T.H. Darmstadt, 1969.

    Google Scholar 

  21. H. Hoehne, Entwicklung und Implementierung einer Sprache zur Darstellung und Simulation komplexer Schaltwerke, Institutsbericht des Institutes für Nachrichtenverarbeitung, T.H. Darmstadt, 1969.

    Google Scholar 

  22. H. Hoehne, Einführung der Zeitdimension in RTS, Institutsbericht des Institutes für Nachrichtenverarbeitung, T.H. Darmstadt, 1969.

    Google Scholar 

  23. U. Blumenschein, W. Langner, Entwicklung und Definititon der Registertransfersprache RTS II, Studienarbeit Nr. NVST 83 des Institutes für Nachrichtenverarbeitung, T.H. Darmstadt, 1970.

    Google Scholar 

Download references

Authors
  1. H. Hoehne
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institut für Angewandte Mathematik, Universität des Saarlandes, Deutschland

    Hans Langmaack

  2. Gesellschaft für Informatik Mathematisches Institut, Technischen Universität München, Deutschland

    Manfred Paul

Rights and permissions

Reprints and permissions

Copyright information

© 1972 Springer-Verlag Berlin · Heidelberg

About this paper

Cite this paper

Hoehne, H. (1972). RTS — Eine Sprache zur Beschreibung von Registernetzen. In: Langmaack, H., Paul, M. (eds) 1. Fachtagung über Programmiersprachen. Lecture Notes in Economics and Mathematical Systems, vol 75. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-80718-3_14

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-80718-3_14

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-06051-2

  • Online ISBN: 978-3-642-80718-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation