Illustrates the construction of Simulink models for digital project test benches in certain design-for-test fields. This book explains the process of Simulink model building, presents the main library blocks of Simulink, and examines the development of finite-state machine modeling using Stateflow diagrams.