Advertisement

Synthese und Logikoptimierung

Chapter
  • 5.4k Downloads
Part of the eXamen.press book series (EXAMEN)

Zusammenfassung

Simulationsmodelle digitaler Schaltungen dienen nicht nur zur Analyse und zur Simulation, sondern auch als Funktionsvorgabe für die Synthese. Die Synthese sucht für eine vorgegebene Hardware-Beschreibung eine funktionsgleiche Schaltung. Ein Problem ist das Zeitverhalten. Im Grunde sind nur laufzeitrobuste Schaltungen, d.h. Schaltungen, bei denen die Zeitabläufe durch Takte und nicht durch Verzögerungszeiten festgelegt werden, synthetisierbar.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Literaturverzeichnis

  1. [1]
  2. [2]
    Digilent Products. http://www.digilentinc.com/.
  3. [5]
  4. [6]
  5. [7]
    IEEE Standard for Binary Floating-Point Arithmetic (ANSI/IEEE Std 754-1985). New York: The Institute of Electrical and Elektronics Engineers., 1985.Google Scholar
  6. [10]
    S. B. Akers. Binary decision diagrams. IEEE Transactions on Computers, C-27:509–516, Juni 1959.CrossRefGoogle Scholar
  7. [11]
    P. J. Ashenden. The Designer’s Guide to VHDL. Morgan Kaufmann Publishers, Inc., 2008.Google Scholar
  8. [13]
    J. Borgmeyer. Grundlagen der Digitaltechnik. München. Carl Hanser Verlag, 1997.Google Scholar
  9. [15]
    R. E. Bryant. Graph-Based Algorithms for Boolean Function Manipulation. IEEE Transactions on Computers, C-35:677–691, August 1986.CrossRefGoogle Scholar
  10. [16]
    P. P. Chu. RTL Hardware Design Using VHDL: Coding for Efficiency, Portability, and Scalability. John Wiley & Sons, 2006.Google Scholar
  11. [19]
    R. Drechsler and B. Becker. Graphenbasierte Funktionsdarstellung. Boolesche und Pseudo-Boolesche Funktionen. Teubner Verlag, 1998.Google Scholar
  12. [24]
    D. W. Hoffmann. Grundlagen der Technischen Informatik. Hanser Verlag, 2007.Google Scholar
  13. [27]
    G. Kemnitz. Web-Projekte zur Vorlesung Entwurf digitaler Schaltungen. http://techwww.in.tu-clausthal.de/site/Lehre/VHDL-Web-Projekte/.
  14. [28]
    G. Kemnitz. Untersuchungen zu Spezialhardware für ausgewählte Algorithmen der Bildverarbeitung. In Tech. Rep. FI/95/11, Fakultät Informatik, TU Dresden, 1995.Google Scholar
  15. [34]
    C. Y. Lee. Representation of Switching Circuits by Binary-Decision Programs. Bell Systems Technical Journal, 38:985–999, 1959.Google Scholar
  16. [36]
    M. M. Mano and M. D. Ciletti. Digital Design. Pearson, 2006.Google Scholar
  17. [38]
    P. Molitor and C. Scholl. Datenstrukturen und effiziente Algorithmen für die Logiksynthese kombinatorischer Schaltungen. Teubner, 1999.Google Scholar
  18. [39]
    P. Pirsch. Architekturen der digitalen Signalverarbeitung. Teubner, 1996.Google Scholar
  19. [40]
    P. Rechenberg and G. Pomberger. Informatik-Handbuch. Carl Hanser Verlag, 2002.Google Scholar
  20. [42]
    W. Schiffmann and R. Schmitz. Technische Informatik (Teil 1). Springer- Verlag, 1996.Google Scholar
  21. [44]
    D. Sommerfeld. Minimierung von Schaltfunktionen mit dem Quine-McCluskey-Verfahren. http://www2.in.tu-clausthal.de/dsommerfeld/qmc.pdf.
  22. [48]
    G. Vastianos. Boolean Functions’ Minimisation Software Based on the Quine-McCluskey Method. Athen: Software Notes, 1998.Google Scholar
  23. [50]
    I. Wegener. Effiziente Algorithmen für grundlegende Funktionen. Teubner, 1996.Google Scholar
  24. [51]
    I. Wegener. Komplexitätstheorie. Grenzen der Effizienz von Algorithmen. Springer, 2003.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  1. 1.TU Clausthal, Institut für Informatik, Arbeitsb. Hardwareentwurf u. RobotikClausthal-ZellerfeldDeutschland

Personalised recommendations