An Introduction to Digital Systems SimulationGoalPrerequisitesHomeworkFurther readingsOutlineSimulationSlide 8Slide 9StatusSlide 11Simulation EngineSlide 13Slide 14Slide 15Slide 16Slide 17Slide 18Slide 19Slide 20Slide 21Slide 22PowerPoint PresentationJust an example...A further example...Slide 26A basic approach to V&VSlide 28A simulation sessionA simulation session (cont’d)Identify the most efficient way to perform simulation experimentsThe basic principleSlide 33Slide 34Slide 35Slide 36Test Bench characteristicsTest Bench characteristics (cont’d)Slide 39Some examplesCase #1Case #2Case #3Case #3 (cont’d)Case #3: typical usageSimulation for Design ValidationSlide 47An Introduction to An Introduction to Digital Systems Digital Systems SimulationSimulationAn Introduction to An Introduction to Digital Systems Digital Systems SimulationSimulationPaolo PRINETTOPolitecnico di Torino (Italy)University of Illinois at Chicago, IL (USA)[email protected] [email protected] 10.12 10.1 Goal-This lecture presents a brief introduction to digital system simulation-The use of a simulation tool for Validation & Verification is targeted as well.3 10.1 Prerequisites -Module 44 10.1 Homework -No particular homework is foreseen5 10.1 Further readings -Students interested in a deeper knowledge of simulation algorithms can refer, for instance, to: M. Abramovici, M.A. Breuer, A.D. Friedman: “Digital System Testing and Testable Design (revised printing),” IEEE Press, Piscataway, NJ (USA), 1990 (chapter 3, pp. 39-91)6 10.1 OutlineOutline-Introduction-Simulation tool architecture-Using a simulation tool for Validation & Verification.7 10.1 Simulating a system Simulating a system consists in consists in analyzing the analyzing the behavior of a behavior of a model of the model of the system itself. system itself. Simulation8 10.1 Simulating a system Simulating a system consists in consists in analyzing the analyzing the behavior of a behavior of a model of the model of the system itself. system itself. SimulationUsually extracted Usually extracted from the system from the system descriptiondescription9 10.1 Simulating a system Simulating a system consists in consists in analyzing the analyzing the behavior of a behavior of a model of the model of the system itself. system itself. SimulationUsually Usually generatedgenerated from the system from the system descriptiondescriptionAccording to its According to its accuracyaccuracy, different , different information can be information can be extracted from the extracted from the simulation experimentsimulation experiment10 10.1 StatusSimulation is the industrial usual approach for: -project debugging-verification-validation-design rule checking-performances analysis -timing analysis-…11 10.1 OutlineOutline-Introduction Simulation tool architecture-Using a simulation tool for Validation & Verification12 10.1 Circuit descriptionCircuit descriptionInputInputWaveforms Waveforms GeneratorGeneratorSimulationSimulationCommandsCommandsOutput Waveforms AnalyzerOutput Waveforms Analyzer Simulation Simulation EngineEngineSimulation Simulation EngineEngineLibrariesLibraries13 10.1 Circuit descriptionCircuit descriptionInputInputWaveforms Waveforms GeneratorGeneratorSimulationSimulationCommandsCommandsOutput Waveforms AnalyzerOutput Waveforms Analyzer Simulation Simulation EngineEngineSimulation Simulation EngineEngineLibrariesLibrariesComputes the output waveforms of the system, starting from the circuit description and the input waveforms14 10.1 Circuit descriptionCircuit descriptionInputInputWaveforms Waveforms GeneratorGeneratorSimulationSimulationCommandsCommandsOutput Waveforms AnalyzerOutput Waveforms Analyzer Simulation Simulation EngineEngineSimulation Simulation EngineEngineLibrariesLibrariespattern i 00 01 10 11pattern i 00 01 10 11pattern i < file1.patpattern i < file1.patwfm a @0=1 @10=0 10=1 15=0 @50=1wfm a @0=1 @10=0 10=1 15=0 @50=1wfm a @0=0 @100=1 (200=0 200=1)*2wfm a @0=0 @100=1 (200=0 200=1)*2wfm a @0=00\H (1000 = inc by 1\D)*4wfm a @0=00\H (1000 = inc by 1\D)*415 10.1 Circuit descriptionCircuit descriptionSimulationSimulationCommandsCommandsOutput Waveforms AnalyzerOutput Waveforms Analyzer Simulation Simulation EngineEngineSimulation Simulation EngineEngineLibrariesLibrariesWaveform Waveform interpreterinterpreterInput Input waveformswaveforms16 10.1 Circuit descriptionCircuit descriptionSimulationSimulationCommandsCommandsOutput Waveforms AnalyzerOutput Waveforms Analyzer Simulation Simulation EngineEngineSimulation Simulation EngineEngineLibrariesLibrariesWaveform Waveform interpreterinterpreterInput Input waveformswaveforms|Simulate the circuit|Simulate the circuitRUNRUNsim 10nssim 10nscycle 10cycle 10step nextstep next17 10.1 Circuit descriptionCircuit descriptionOutput Waveforms AnalyzerOutput Waveforms Analyzer Simulation Simulation EngineEngineSimulation Simulation EngineEngineLibrariesLibrariesWaveform Waveform interpreterinterpreterInput Input waveformswaveformsCommand Command interpreterinterpreterSimulation Simulation commandscommands18 10.1 Output Waveforms AnalyzerOutput Waveforms Analyzer Simulation Simulation EngineEngineSimulation Simulation EngineEngineLibrariesLibrariesWaveform Waveform interpreterinterpreterInput Input waveformswaveformsCommand Command interpreterinterpreterSimulation Simulation commandscommands DesignDesignData BaseData BaseNetwork Network descriptiondescriptionNetwork Network linkerlinkerHardware Hardware modellermodeller19 10.1 Output Waveforms AnalyzerOutput Waveforms AnalyzerSimulation Simulation EngineEngineSimulation Simulation EngineEngineLibrariesLibrariesWaveform Waveform interpreterinterpreterInput Input waveformswaveformsCommand interpreterSimulation commands DesignData BaseNetwork descriptionNetwork linkerHardware modellerAABBCCDDEE20 10.1 Simulation Simulation EngineEngineSimulation Simulation EngineEngineLibrariesLibrariesWaveform Waveform interpreterinterpreterInput Input waveformswaveformsCommand Command interpreterinterpreterSimulation Simulation commandscommandsOutput Output waveformswaveformsWaveform Waveform analyzeranalyzer DesignDesignData BaseData BaseNetwork Network descriptiondescriptionNetwork Network linkerlinkerHardware Hardware modellermodeller21 10.1 Simulation Simulation EngineEngineSimulation Simulation EngineEngineLibrariesLibrariesWaveform Waveform interpreterinterpreterInput Input