Over the years, ARM and Synopsys have collaborated on a variety of projects, all with the common goal of making it easier and more cost effective for SoC designers to build chips. The companies’ most recent project is a reference book called the Verification Methodology Manual. This book provides a reference methodology for coverage-driven verification using SystemVerilog.

Reprinted in its entirety from ARM IQ Vol. 3, No. 2