Functional Design Errors in Digital Circuits Diagnosis covers a wide spectrum of innovative methods to automate the debugging process throughout the design flow

The purpose of this book is to survey the state of the art and evolving directions in post-silicon and runtime verification. The authors start by giving an over