Digital integrated circuits: design-for-test using Simulink and Stateflow

INTRODUCTIONSIMULINK®: DYNAMIC SYSTEM SIMULATION FOR MATLAB®IntroductionCreating a Model Running a Simulation Analyzing Simulation Results Subsystems: Using Masks to Customize Blocks Reference BlocksSimulink Debugger STATEFLOW®: CREATING FINITE STATE MACHINE MODELSIntroduction Creating Charts Entering a Stateflow DiagramDefining Events and Data Defining Stateflow InterfacesExploring and Searching DebuggingFAULT MODELING AND SIMULATION Fault ModelingFault SimulationTESTABILITY ANALYSIS METHODS Combinational Controllability and Observability Analysis ModelsSequential Controllability and Observab