Ins and Outs of Assertion in Mixed Signal Verification

Ins and Outs of Assertion in Mixed Signal Verification

Introduction

Assertion-based verification (ABV) is a powerful verification approach that has been proven to help digital circuits, designers, and verification engineers improve design quality and reduce time to market. But ABV has been rarely applied to analog/
SoC Functional verification flow

How to speed up the System-on-Chip (SoC) Functional Verification Flow?