Verification Techniques for System-Level Design (Systems on Silicon) (Systems on Silicon) free ebook download.
This book will explain how to verify SoC logic designs using "formal" and "semi-formal" verification techniques. The critical issue to be addressed is whether the functionality of the design is the one that the designers intended. Simulation has been