dblp.uni-trier.de www.uni-trier.de

9. CHARME 1997: Montréal, Québec, Canada

Hon F. Li, David K. Probst (Eds.): Advances in Hardware Design and Verification, IFIP WG 10.5 International Conference on Correct Hardware Design and Verification Methods, 16-18 October 1997, Montréal, Québec, Canada. IFIP Conference Proceedings 105 Chapman & Hall 1997, ISBN 0-412-81330-0 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
@proceedings{DBLP:conf/charme/1997,
  editor    = {Hon F. Li and
               David K. Probst},
  title     = {Advances in Hardware Design and Verification, IFIP WG 10.5 International
               Conference on Correct Hardware Design and Verification Methods,
               16-18 October 1997, Montr{\'e}al, Qu{\'e}bec, Canada},
  booktitle = {CHARME},
  publisher = {Chapman {\&} Hall},
  series    = {IFIP Conference Proceedings},
  volume    = {105},
  year      = {1997},
  isbn      = {0-412-81330-0},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Preface

Part One - Advanced Processor Verification

Part Two - Semantics of Hardware-Description Languages

Part Three - Model Checking

Part Four - Decision Graphs

Part Five - New Verification Techniques

Part Six - Issues in Formal Synthesis

Panel

Copyright © Mon Nov 2 20:24:00 2009 by Michael Ley (ley@uni-trier.de)