IFIP Advances in Information and Communication Technology

Advances in Hardware Design and Verification

Editors: Hon Li, Probst, David (Eds.)

Buy this book

eBook $159.00
price for USA (gross)
  • ISBN 978-0-387-35190-2
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $208.00
price for USA
  • ISBN 978-0-412-81330-6
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
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.

Table of contents (1 chapters)

  • Verifying Out-of-Order Executions

    W. Damm, A. Pnueli

    Pages 23-47

Buy this book

eBook $159.00
price for USA (gross)
  • ISBN 978-0-387-35190-2
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $208.00
price for USA
  • ISBN 978-0-412-81330-6
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Services for this Book

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Advances in Hardware Design and Verification
Editors
  • Hon Li
  • David Probst
Series Title
IFIP Advances in Information and Communication Technology
Copyright
1997
Publisher
Springer US
Copyright Holder
IFIP International Federation for Information Processing
eBook ISBN
978-0-387-35190-2
DOI
10.1007/978-0-387-35190-2
Hardcover ISBN
978-0-412-81330-6
Series ISSN
1868-4238
Edition Number
1
Number of Pages
IX, 313
Topics