Advanced Verification Techniques: A SystemC Based Approach for Successful Tapeout

  • Leena Singh
  • Leonard Drucker
  • Neyaz Khan

Table of contents

  1. Front Matter
    Pages i-xviii
  2. Pages 1-16
  3. Pages 17-43
  4. Pages 149-210
  5. Pages 211-231
  6. Pages 233-250
  7. Pages 251-274
  8. Back Matter
    Pages 297-376

About this book

Introduction

"As chip size and complexity continues to grow exponentially, the challenges of functional verification are becoming a critical issue in the electronics industry. It is now commonly heard that logical errors missed during functional verification are the most common cause of chip re-spins, and that the costs associated with functional verification are now outweighing the costs of chip design. To cope with these challenges engineers are increasingly relying on new design and verification methodologies and languages.  Transaction-based design and verification, constrained random stimulus generation, functional coverage analysis, and assertion-based verification are all techniques that advanced design and verification teams routinely use today. Engineers are also increasingly turning to design and verification models based on C/C++ and SystemC in order to build more abstract, higher performance hardware and software models and to escape the limitations of RTL HDLs. This new book, Advanced Verification Techniques, provides specific guidance for these advanced verification techniques. The book includes realistic examples and shows how SystemC and SCV can be applied to a variety of advanced design and verification tasks."
                                                                                     - Stuart Swan

Keywords

RTL Software SystemC complexity electronics integrated circuit metal-oxide-semiconductor transistor modeling simulation single-electron transistor

Authors and affiliations

  • Leena Singh
    • 1
  • Leonard Drucker
    • 2
  • Neyaz Khan
    • 2
  1. 1.Azanda Network DevicesUSA
  2. 2.Cadence Design Systems Inc.USA

Bibliographic information

  • DOI https://doi.org/10.1007/b105272
  • Copyright Information Kluwer Academic Publishers 2004
  • Publisher Name Springer, Boston, MA
  • eBook Packages Springer Book Archive
  • Print ISBN 978-1-4020-7672-5
  • Online ISBN 978-1-4020-8029-6
  • About this book
Industry Sectors
Pharma
Automotive
Biotechnology
Electronics
Telecommunications
Energy, Utilities & Environment
Aerospace