Advertisement

Hardware Specification, Verification and Synthesis: Mathematical Aspects

Mathematical Sciences Institute Workshop Cornell University, Ithaca, New York, USA July 5–7, 1989 Proceedings

  • Editors
  • Miriam Leeser
  • Geoffrey Brown
Conference proceedings

Part of the Lecture Notes in Computer Science book series (LNCS, volume 408)

Table of contents

  1. Front Matter
  2. George J. Milne
    Pages 1-13
  3. Brian Graham, Graham Birtwistle
    Pages 40-66
  4. Christian Lengauer, Bikash Sabata, Farshid Arman
    Pages 90-105
  5. Geoffrey M. Brown, Miriam E. Leeser
    Pages 129-151
  6. David L. Dill
    Pages 224-243
  7. Warren A. Hunt Jr., Bishop C. Brock
    Pages 282-306
  8. Mark Bickford, Mandayam Srivas
    Pages 307-332
  9. David A. Basin, Peter Del Vecchio
    Pages 333-357
  10. F K Hanna, N Daeche, M Longley
    Pages 358-379

About these proceedings

Introduction

Current research into formal methods for hardware design is presented in the papers in this volume. Because of the complexity of VLSI circuits, assuring design validity before circuits are manufactured is imperative. The goal of research in this area is to develop methods of improving the design process and the quality of the resulting designs. The major trend apparent at the workshop is that researchers are rapidly moving away from post hoc proof techniques with their great expense. A number of papers were presented that dealt with problems of synthesizing correct circuits and of designing with the goal of verification. Researchers are also beginning to deal with the theoretical issues of reasoning about concurrent systems and asynchronous systems, and to introduce new logical tools such as constructive type theory and category theory. Most of the research reported was performed in the United States.

Keywords

Hardware Mikroelektronik Mikroprozessor Schaltkreis Synchronisation VLSI Verifikation complexity formal method logic microprocessor processor verification

Bibliographic information

  • DOI https://doi.org/10.1007/0-387-97226-9
  • Copyright Information Springer-Verlag Berlin Heidelberg 1990
  • Publisher Name Springer, New York, NY
  • eBook Packages Springer Book Archive
  • Print ISBN 978-0-387-97226-8
  • Online ISBN 978-0-387-34801-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Finance, Business & Banking
Electronics
IT & Software
Telecommunications