Diese Einführung in den funktionalen Entwurf digitaler Schaltungen behandelt Methoden zum Logik-, Steuerwerks- und Datenpfadentwurf sowie die Implementierung solcher Entwürfe in integrierten Schaltungen. Au&...
详细信息
ISBN:
(数字)9783642957109
ISBN:
(纸本)9783540567882
Diese Einführung in den funktionalen Entwurf digitaler Schaltungen behandelt Methoden zum Logik-, Steuerwerks- und Datenpfadentwurf sowie die Implementierung solcher Entwürfe in integrierten Schaltungen. Außerdem deckt sie die wesentlichen Aspekte ab, die für das Verständnis, den Einsatz und die Entwicklung entsprechender CAD-Werkzeuge wichtig sind. Das weiterführende Lehrbuch wendet sich in erster Linie an Studierende der Informatik und der Elektrotechnik; außer dem im Grundstudium aller Elektrotechnik- und Informatik-Fachbereiche vermittelten Wissen setzt es keine speziellen Grundkenntnisse voraus. Zugleich ist es für Entwickler von integrierten Schaltungen und von Entwurfswerkzeugen interessant, die einen Überblick über die Ansätze zur Automatisierung des funktionalen Entwurfs gewinnen wollen. Die Darstellung ist mit einer Vielzahl von Beispielen illustriert, Zusammenhänge werden in tabellarischen und graphischen Übersichten verdeutlicht. Übungsaufgaben am Ende der Kapitel ermöglichen die Überprüfung des Verständnisses, Hinweise auf weiterführende Literatur die Vertiefung der Stoffgebiete.
Die entscheidenden Argumente für die Korrektheit eines Programms können am einfachsten schon bei seiner Entwicklung festgehalten werden. Die Methoden, mit denen man den Korrektheitsbeweis Hand in Hand mit de...
详细信息
ISBN:
(数字)9783709187951
ISBN:
(纸本)9783211818671
Die entscheidenden Argumente für die Korrektheit eines Programms können am einfachsten schon bei seiner Entwicklung festgehalten werden. Die Methoden, mit denen man den Korrektheitsbeweis Hand in Hand mit der Programmentwicklung führt, werden in diesem Buch beschrieben. Die Programme und die Informationen für die Verifikation werden mit eigens zu diesem Zweck erweiterten Struktogrammen dargestellt. Die Methoden und die zahlreichen Beispiele sind unabhängig von einer bestimmten Programmiersprache. Das Buch wendet sich nicht nur an die an Programmverifikation interessierten Leser, sondern an alle, die ein tieferes Verständnis von Programmen erreichen wollen. Der Leser soll die vorgestellten Methoden und Denkweisen bei der Entwicklung seiner eigenen Programme anwenden lernen, um so effizientere und sicherere Software zu erzeugen.
The papers appearing in this Volume were selected from a collec tion of papers presented at the Internationa~ Symposium on Extrema~ Methods and Systems Ana~ysis on the Occasion of Professor A. Charnes' 60th ...
详细信息
ISBN:
(数字)9783642464140
ISBN:
(纸本)9783540097303
The papers appearing in this Volume were selected from a collec tion of papers presented at the Internationa~ Symposium on Extrema~ Methods and Systems Ana~ysis on the Occasion of Professor A. Charnes' 60th Birthday, at the University of Texas in Austin, 13-15 September 1977. As coeditors, we have followed the normal editorial procedures of scholarly journals. We have obtained invaluable assistance from a number of colleagues who essentially performed the duties of associate editors, coordinating most of the reviews. All papers except those appearing in the Historica~ Perspectives section were refereed by at least two individuals with competency in the respective area. Because of the wide range and diversity of the topics, it would have been im possible for us to make a consistently rational selection of papers without the help of the associate editors and referees. We are indeed grateful to them. The breadth of extremal methods and systems analysis, suggested by the range of topics covered in these papers, is characteristic of the field and also of the scholarly work of Professor Charnes. Extre mal methods and systems analysis has been a pioneering and systematic approach to the development and application of new scientific theories and methods for problems of management and operations in both the pri vate and public sectors, spanning all major disciplines from economics to engineering.
This book constitutes the thoroughly refereed post-conference proceedings of the 23rd International Symposium on Implementation and Application of Functional Languages, IFL 2011, held in Lawrence, Kansas, USA, in Octo...
详细信息
ISBN:
(数字)9783642344077
ISBN:
(纸本)9783642344060
This book constitutes the thoroughly refereed post-conference proceedings of the 23rd International Symposium on Implementation and Application of Functional Languages, IFL 2011, held in Lawrence, Kansas, USA, in October 2011. The 11 revised full papers presented were carefully reviewed and selected from 33 submissions. The papers by researchers and practitioners who are actively engaged in the implementation and the use of functional and function based programming languages describe practical and theoretical work as well as applications and tools. They discuss new ideas and concepts, as well as work in progress and results.
暂无评论