Skip to main content
  • Book
  • © 2018

ASIC/SoC Functional Design Verification

A Comprehensive Guide to Technologies and Methodologies

Authors:

  • Provides readers with a single-source guide to the entire domain of functional design verification
  • Describe many industry standard tools available in the market so readers know which tools to pursue to their greatest advantage
  • Includes complete working Verification Plans of complex SoCs and numerous, real applications to demonstrate each topic introduced
  • Written to be highly accessible and easy to digest
  • Includes supplementary material: sn.pub/extras

Buy it now

Buying options

eBook USD 89.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 119.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 169.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (18 chapters)

  1. Front Matter

    Pages i-xxxi
  2. Introduction

    • Ashok B. Mehta
    Pages 1-4
  3. SystemVerilog Paradigm

    • Ashok B. Mehta
    Pages 13-15
  4. UVM (Universal Verification Methodology)

    • Ashok B. Mehta
    Pages 17-64
  5. Constrained Random Verification (CRV)

    • Ashok B. Mehta
    Pages 65-74
  6. SystemVerilog Assertions (SVA)

    • Ashok B. Mehta
    Pages 75-128
  7. SystemVerilog Functional Coverage (SFC)

    • Ashok B. Mehta
    Pages 129-148
  8. Clock Domain Crossing (CDC) Verification

    • Ashok B. Mehta
    Pages 149-166
  9. Low-Power Verification

    • Ashok B. Mehta
    Pages 167-191
  10. Hardware/Software Co-verification

    • Ashok B. Mehta
    Pages 243-253
  11. Analog/Mixed Signal (AMS) Verification

    • Ashok B. Mehta
    Pages 255-271
  12. SoC Interconnect Verification

    • Ashok B. Mehta
    Pages 273-284
  13. The Complete Product Design Life Cycle

    • Ashok B. Mehta
    Pages 285-300
  14. Voice Over IP (VoIP) Network SoC Verification

    • Ashok B. Mehta
    Pages 301-309
  15. Cache Memory Subsystem Verification: ISS Based

    • Ashok B. Mehta
    Pages 319-321
  16. Back Matter

    Pages 323-328

About this book

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 first outlines all of the verification sub-fields at a high level, with just enough depth to allow an engineer to grasp the field before delving into its detail.  He then 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, ReuseMethodology from Algorithm/ESL to RTL, and other overall methodologies.

Authors and Affiliations

  • Los Gatos, USA

    Ashok B. Mehta

About the author

Ashok Mehta has been working in the ASIC/SoC design and verification field for over 20 years. He started his career at Digital Equipment Corporation (DEC) working as a CPU design engineer. He then worked at Data General, Intel (first Pentium Architecture Verification team) and after a route of couple of startups, worked at Applied Micro and currently at TSMC.

He was a very early adopter of Verilog and participated in Verilog, VHDL, iHDL (Intel HDL) and SDF (standard delay format) technical subcommittees. He has also been a proponent of ESL (Electronic System Level) designs. At TSMC he architected and went into production with two industry standard TSMC ESL Reference Flows that take designs from ESL to RTL while preserving the verification environment for reuse from ESL to RTL.

He holds 14 U.S. Patents in the field of SoC and 3DIC design verification.

He is also the author of Second Edition of the book “SystemVerilog Assertions and FunctionalCoverage – A comprehensive guide to languages, methodologies and applications”. Springer (June 2016).

Ashok earned an MSEE from University of Missouri.

In his spare time, he is an amateur photographer and likes to play drums on 70’s rock music driving his neighbors up the wall J

Bibliographic Information

  • Book Title: ASIC/SoC Functional Design Verification

  • Book Subtitle: A Comprehensive Guide to Technologies and Methodologies

  • Authors: Ashok B. Mehta

  • DOI: https://doi.org/10.1007/978-3-319-59418-7

  • Publisher: Springer Cham

  • eBook Packages: Engineering, Engineering (R0)

  • Copyright Information: Springer International Publishing AG 2018

  • Hardcover ISBN: 978-3-319-59417-0Published: 07 July 2017

  • Softcover ISBN: 978-3-319-86620-8Published: 12 August 2018

  • eBook ISBN: 978-3-319-59418-7Published: 28 June 2017

  • Edition Number: 1

  • Number of Pages: XXXI, 328

  • Number of Illustrations: 15 b/w illustrations, 160 illustrations in colour

  • Topics: Circuits and Systems, Processor Architectures, Logic Design

Buy it now

Buying options

eBook USD 89.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 119.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 169.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access