Lecture Notes in Computer Science

Correct Hardware Design and Verification Methods

12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003, Proceedings

Editors: Geist, Daniel, Tronci, Enrico (Eds.)

Buy this book

eBook $99.00
price for USA (gross)
  • ISBN 978-3-540-39724-3
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $129.00
price for USA
  • ISBN 978-3-540-20363-6
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.

Table of contents (35 chapters)

  • What Is beyond the RTL Horizon for Microprocessor and System Design?

    Roesner, Wolfgang

    Pages 1-1

  • The Charme of Abstract Entities

    Somenzi, Fabio

    Pages 2-2

  • The PSL/Sugar Specification Language A Language for all Seasons

    Geist, Daniel

    Pages 3-3

  • Finding Regularity: Describing and Analysing Circuits That Are Not Quite Regular

    Sheeran, Mary

    Pages 4-18

  • Predicate Abstraction with Minimum Predicates

    Chaki, Sagar (et al.)

    Pages 19-34

Buy this book

eBook $99.00
price for USA (gross)
  • ISBN 978-3-540-39724-3
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $129.00
price for USA
  • ISBN 978-3-540-20363-6
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Correct Hardware Design and Verification Methods
Book Subtitle
12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003, Proceedings
Editors
  • Daniel Geist
  • Enrico Tronci
Series Title
Lecture Notes in Computer Science
Series Volume
2860
Copyright
2003
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-39724-3
DOI
10.1007/b93958
Softcover ISBN
978-3-540-20363-6
Series ISSN
0302-9743
Edition Number
1
Number of Pages
XII, 432
Topics