Architecture Design and Validation Methods
This book grew out of material which was taught at the International Summer School on Architecture Design and Validation Methods, held June 23-July 5, 1997, on the Island of Lipari and directed to graduate students and young researchers. Since then the co
- PDF / 36,740,067 Bytes
- 363 Pages / 439.32 x 666.12 pts Page_size
- 100 Downloads / 269 Views
Springer-Verlag Berlin Heidelberg GmbH
Egon Börger (Ed.)
Architecture Design and Validation Methods With 175 Figures
,
Springer
Editor
Prof. Dr. Egon Börger Universita di Pisa Dipartimento di Informatica Corso Italia 40 56125 Pisa, Italy [email protected]
Library of Congress Cataloging-in-Publication Data Architecture design and validation methods / Egon Börger (ed.) p.cm. Includes bibliographical references. ISBN 354064976x I. Computer architecture. 2. Integrated circuits-Very large scale integrationDesign and construction. I. Börger, E. (Egon), 1946QA76.9.A73A7182000 004.2'2-dc21
99-056374
ACM Computing Classification (1998): B.1-2, B.6-7 ISBN 978-3-642-62976-1 ISBN 978-3-642-57199-2 (eBook) DOI 10.1007/978-3-642-57199-2 This work is subject to copyright. All rights are reserved, whether tbe whole or part of the material is concemed, specifically the rights of translation, reprinting, reuse of illustrations, recitation, broadcasting, reproduction on microfilm or in any otber way, and storage in data banks. Duplication of tbis publication or parts thereof is permitted only under the provisions of the German copyright law of September 9, 1965, in its current version, and permission for use must always be obtained from Springer-Verlag. Violations are liable for prosecution under tbe German Copyright Law. © Springer-Verlag Berlin Heidelberg 2000
Originally published by Springer-Verlag Berlin Heidelberg in 2000 Softcover reprint of the hardcover 1st edition 2000 The use of general descriptive names, trademarks, etc. in this publication does not imply, even in tbe absence of a specific statement, that such names are exempt from the relevant protective laws and regulations and therefore free for general use. Cover design: Künkel + Lopka, Heidelberg Typesetting: Camera-ready copy from the autbors using aSpringer TEX macro package Printed on acid-free paper SPIN: 10645145 45/3142 GF- 54321 0
Preface This book grew out of material which was taught at the International Summer School on Architecture Design and Validation Methods, held June 23-July 5, 1997, on the Island of Lipari and directed to graduate students and young researchers. Since then the course notes have been completely elaborated and extended and additional chapters have been added so that this book offers a comprehensive presentation of the state of the art which leads the reader to the forefront of the current research in the area. The chapters, each of which was written by a group of eminent specialists in the field, are self-contained and can be read independently of each other. They cover the wide range of theoretical and practical methods which are currently used for the specification, design, validation and verification of hardware/software architectures. Synthesis methods are the subject of the first three chapters. The chapter on Modeling and Synthesis of Behavior, Control and Data Flow focusses on techniques above the register-transfer level. The chapter on Cell-Based Logic Optimizations concentrates on methods that interface logic d
