This book illustrates how to use MATLAB to develop application-specific integrated circuit (ASIC) design systems. By incorporating Simulink and Stateflow into the modern digital design process, it demonstrates the construction of Simulink models for digital project test benches in certain design-for-test fields. Topics covered include deterministic algorithms, scan cell operations, and timing verification.