Advances in Hardware Design and Verification

IFIP TC10 WG10.5 International Conference on Correct Hardware and Verification Methods, 16–18 October 1997, Montreal, Canada

  • Hon F. Li
  • David K. Probst

Table of contents

  1. Front Matter
    Pages i-ix
  2. ASIC/System Hardware Verification at Nortel: A View from the Trenches

  3. Advanced Processor Verification

    1. Front Matter
      Pages 3-3
    2. Xiaoshan Li, Antonio Cau, Ben Moszkowski, Nick Coleman, Hussein Zedan
      Pages 5-22
    3. W. Damm, A. Pnueli
      Pages 23-47
    4. Ganesh Gopalakrishnan, Rajnish Ghughal, Ravi Hosabettu, Abdelillah Mokkedem, Ratan Nalumasu
      Pages 48-62
  4. Semantics of Hardware-Description Languages

    1. Front Matter
      Pages 63-63
    2. Dominique Borrione, Fredrik Vestman, Hakim Bouamama
      Pages 65-87
    3. Subash Shankar, James Slagle
      Pages 88-105
    4. Natividad Martínez Madrid, Peter T. Breuer, Carlos Delgado Kloos
      Pages 106-123
  5. Model Checking

    1. Front Matter
      Pages 125-125
    2. Carlos M. Roman, Gary De Palma, Robert Kurshan
      Pages 127-127
    3. W. Visser, H. Barringer, D. Fellows, G. Gough, A. Williams
      Pages 128-145
  6. Decision graphs

    1. Front Matter
      Pages 165-165
    2. G. Cabodi, P. Camurati, A. Lioy, M. Poncino, S. Quer
      Pages 167-184
    3. David Déharbe, Anamaria Martins Moreira
      Pages 203-213
  7. New Verification Technique

    1. Front Matter
      Pages 215-215
    2. Roger B. Hughes
      Pages 217-217
    3. Otmane Aït-Mohamed, Song Xiayou, Eduard Cerny
      Pages 218-235
    4. Mario Baldi, Fulvio Corno, Maurizio Rebaudengo, Paolo Prinetto, Matteo Sonza Reorda, Giovanni Squillero
      Pages 236-251
  8. Issues in Formal Synthesis

  9. Back Matter
    Pages 311-313

About this book


CHARM '97 is the ninth in a series of working conferences devoted to the development and use of formal techniques in digital hardware design and verification. This series is held in collaboration with IFIP WG 10.5. Previous meetings were held in Europe every other year.


Europe design development hardware design verification

Editors and affiliations

  • Hon F. Li
    • 1
  • David K. Probst
    • 1
  1. 1.Department of Computer ScienceConcordia UniversityMontrealCanada

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag US 1997
  • Publisher Name Springer, Boston, MA
  • eBook Packages Springer Book Archive
  • Print ISBN 978-1-5041-2885-8
  • Online ISBN 978-0-387-35190-2
  • Series Print ISSN 1868-4238
  • Series Online ISSN 1868-422X
  • Buy this book on publisher's site
Industry Sectors
Finance, Business & Banking
IT & Software
Consumer Packaged Goods