Read more
Informationen zum Autor Evgeni Perelroyzen Klappentext This book shows how to incorporate Simulink and Stateflow into the process of modern digital design. It describes the tools and concepts for simulating interactions! testing systems! and detecting design faults-allowing for better results in the design flow process. The book covers fault modeling and simulation! VLSI testability analysis! the ATPG process! deterministic algorithms! timing verification! and system and embedded core testing. It begins by introducing the Simulink and Stateflow tools! followed by descriptions of test development and simulation processes. The author also provides examples of Simulink modeling and simulation for the latest design-for-test fields. Zusammenfassung 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. Inhaltsverzeichnis 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 Observability Analysis ModelsTHE AUTOMATIC TEST PATTERN GENERATION (ATPG) PROCESSATPG Fundamentals Combinational Circuit ATPG (Current-Based ATPG Algorithms for Combinational Circuits)TIMING VERIFICATIONLogical Determinant TheoryDigital Circuit DynamicsModel Building for Timing VerificationSYSTEM AND EMBEDDED CORE TESTING Introduction Scan Path Architectures and TechniquesSystem and Embedded Core TestingINDEXReferences appear at the end of each chapter. ...
