Verification Techniques For System-Level Design

Explains how to verify SoC logic designs using formal and semiformalverification techniques. This book covers various aspects of highlevel formaland semiformal ... » 

Explains how to verify SoC logic designs using formal and semiformalverification techniques. This book covers various aspects of highlevel formaland semiformal verification techniques for system level designs. «