Table of Contents

Simulink®: Dynamic System Simulation for MATLAB®. Stateflow®: Creating Finite State Machine Models. Fault Modeling and Simulation. Testability Analysis Methods. The Automatic Test Pattern Generation (ATPG) Process. Timing Verification. System and Embedded Core Testing. Index.

About the Author

Evgeni Perelroyzen