Fault Coverage Analysis Of Integrated Circuit Designs Through Assertion-Based Verification And Fault Injection. door Scott Floyd Bingham