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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Literaturverzeichnis
Constraints Guide. http://www.xilinx.com/support/documentation/dt_ise11-1_userguides.htm.
Digilent Products. http://www.digilentinc.com/.
Xilinx Design Tools. http://www.xilinx.com/tools/designtools.htm.
XST User Guide. http://www.xilinx.com/support/documentation/dt_ise11-1_userguides.htm.
IEEE Standard for Binary Floating-Point Arithmetic (ANSI/IEEE Std 754-1985). New York: The Institute of Electrical and Elektronics Engineers., 1985.
S. B. Akers. Binary decision diagrams. IEEE Transactions on Computers, C-27:509–516, Juni 1959.
P. J. Ashenden. The Designer’s Guide to VHDL. Morgan Kaufmann Publishers, Inc., 2008.
J. Borgmeyer. Grundlagen der Digitaltechnik. München. Carl Hanser Verlag, 1997.
R. E. Bryant. Graph-Based Algorithms for Boolean Function Manipulation. IEEE Transactions on Computers, C-35:677–691, August 1986.
P. P. Chu. RTL Hardware Design Using VHDL: Coding for Efficiency, Portability, and Scalability. John Wiley & Sons, 2006.
R. Drechsler and B. Becker. Graphenbasierte Funktionsdarstellung. Boolesche und Pseudo-Boolesche Funktionen. Teubner Verlag, 1998.
D. W. Hoffmann. Grundlagen der Technischen Informatik. Hanser Verlag, 2007.
G. Kemnitz. Web-Projekte zur Vorlesung Entwurf digitaler Schaltungen. http://techwww.in.tu-clausthal.de/site/Lehre/VHDL-Web-Projekte/.
G. Kemnitz. Untersuchungen zu Spezialhardware für ausgewählte Algorithmen der Bildverarbeitung. In Tech. Rep. FI/95/11, Fakultät Informatik, TU Dresden, 1995.
C. Y. Lee. Representation of Switching Circuits by Binary-Decision Programs. Bell Systems Technical Journal, 38:985–999, 1959.
M. M. Mano and M. D. Ciletti. Digital Design. Pearson, 2006.
P. Molitor and C. Scholl. Datenstrukturen und effiziente Algorithmen für die Logiksynthese kombinatorischer Schaltungen. Teubner, 1999.
P. Pirsch. Architekturen der digitalen Signalverarbeitung. Teubner, 1996.
P. Rechenberg and G. Pomberger. Informatik-Handbuch. Carl Hanser Verlag, 2002.
W. Schiffmann and R. Schmitz. Technische Informatik (Teil 1). Springer- Verlag, 1996.
D. Sommerfeld. Minimierung von Schaltfunktionen mit dem Quine-McCluskey-Verfahren. http://www2.in.tu-clausthal.de/dsommerfeld/qmc.pdf.
G. Vastianos. Boolean Functions’ Minimisation Software Based on the Quine-McCluskey Method. Athen: Software Notes, 1998.
I. Wegener. Effiziente Algorithmen für grundlegende Funktionen. Teubner, 1996.
I. Wegener. Komplexitätstheorie. Grenzen der Effizienz von Algorithmen. Springer, 2003.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Kemnitz, G. (2011). Synthese und Logikoptimierung. In: Technische Informatik. eXamen.press. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-17447-6_2
Download citation
DOI: https://doi.org/10.1007/978-3-642-17447-6_2
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-17446-9
Online ISBN: 978-3-642-17447-6
eBook Packages: Computer Science and Engineering (German Language)