Advertisement

ASIC/SoC Functional Design Verification

A Comprehensive Guide to Technologies and Methodologies

  • Ashok B. ┬áMehta

Table of contents

  1. Front Matter
    Pages i-xxxi
  2. Ashok B. Mehta
    Pages 1-4
  3. Ashok B. Mehta
    Pages 13-15
  4. Ashok B. Mehta
    Pages 17-64
  5. Ashok B. Mehta
    Pages 65-74
  6. Ashok B. Mehta
    Pages 75-128
  7. Ashok B. Mehta
    Pages 129-148
  8. Ashok B. Mehta
    Pages 149-166
  9. Ashok B. Mehta
    Pages 167-191
  10. Ashok B. Mehta
    Pages 243-253
  11. Ashok B. Mehta
    Pages 255-271
  12. Ashok B. Mehta
    Pages 273-284
  13. Ashok B. Mehta
    Pages 285-300
  14. Ashok B. Mehta
    Pages 301-309
  15. Ashok B. Mehta
    Pages 319-321
  16. Back Matter
    Pages 323-328

About this book

Introduction

This book describes in detail all required technologies and methodologies needed to create a comprehensive, functional design verification strategy and environment to tackle the toughest job of guaranteeing first-pass working silicon The author outlines all of the verification sub-fields at a high level, with just enough depth to allow a manager/decision maker or an engineer to grasp the field which can then be pursued in detail with the provided references. He describes in detail industry standard technologies such as UVM (Universal Verification Methodology), SVA (SystemVerilog Assertions), SFC (SystemVerilog Functional Coverage), CDV (Coverage Driven Verification), Low Power Verification (Unified Power Format UPF), AMS (Analog Mixed Signal) verification, Virtual Platform TLM2.0/ESL (Electronic System Level) methodology, Static Formal Verification, Logic Equivalency Check (LEC), Hardware Acceleration, Hardware Emulation, Hardware/Software Co-verification, Power Performance Area (PPA) analysis on a virtual platform, Reuse Methodology from Algorithm/ESL to RTL, and other overall methodologies.

Keywords

System-on-Chip design System-on-Chip verification Functional hardware verification SystemVerilog Assertions SystemVerilog Functional Coverage Assertion Based Verifiction

Authors and affiliations

  • Ashok B. ┬áMehta
    • 1
  1. 1.Los GatosUSA

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-59418-7
  • Copyright Information Springer International Publishing AG 2018
  • Publisher Name Springer, Cham
  • eBook Packages Engineering
  • Print ISBN 978-3-319-59417-0
  • Online ISBN 978-3-319-59418-7
  • Buy this book on publisher's site
Industry Sectors
Pharma
Automotive
Biotechnology
Electronics
IT & Software
Telecommunications
Energy, Utilities & Environment
Aerospace
Engineering