ModelSim SE Tutorial

More documents

Recommendations

Info

T-20 Lesson 2 - Basic simulationIntroductionIn this lesson you will go step-by-step through the basic simulation flow:Create a working libraryCompile design unitsRun simulationDebug resultsDesign files for this lessonThe sample design for this lesson is a simple 8-bit, binary up-counter with anassociated testbench. The pathnames are as follows:Verilog – /modeltech/examples/counter.v and tcounter.vVHDL – /modeltech/examples/counter.vhd and tcounter.vhdThis lesson uses the Verilog files counter.v and tcounter.v in the examples. If youhave a VHDL license, use counter.vhd and tcounter.vhd instead. Or, if you havea mixed license, feel free to use the Verilog testbench with the VHDL counter orvice versa.Related readingModelSim User’s Manual – Chapter 3 - Design libraries (UM-55), Chapter 5 -Verilog simulation (UM-109), Chapter 4 - VHDL simulation (UM-69)ModelSim Command Reference (vlib (CR-361), vmap (CR-375), vlog (CR-363),vcom (CR-316), vopt (CR-376), view (CR-337), and right (CR-255) commands)ModelSim SE Tutorial
Creating the working design library T-21Creating the working design libraryFigure 1: The Welcome to ModelSim dialogBefore you can simulate a design, you must first create a library and compile thesource code into that library.1 Create a new directory and copy the tutorial files into it.Start by creating a new directory for this exercise (in case other users will beworking with these lessons).Verilog: Copy counter.v and tcounter.v files from //examplesto the new directory.VHDL: Copy counter.vhd and tcounter.vhd files from //examples to the new directory.2 Start ModelSim if necessary.a Type vsim at a UNIX shell prompt or use the ModelSim icon inWindows.Upon opening ModelSim for the first time, you will see the Welcome toModelSim dialog (Figure 1). Click Close.b Select File > Change Directory and change to the directory you createdin step 1.Figure 2: The Create a New Library dialog3 Create the working library.a Select File > New > Library.This opens a dialog where you specify physical and logical names for thelibrary (Figure 2). You can create a new library or map to an existinglibrary. We’ll be doing the former.b Type work in the Library Name field if it isn’t entered automatically.3bModelSim SE Tutorial
Page 1 and 2: ModelSim®Advanced Verification and
Page 3 and 4: T-3Table of ContentsIntroduction .
Page 5 and 6: T-5IntroductionTopicsThe following
Page 7 and 8: Where to find our documentation T-7
Page 9 and 10: Before you begin T-9Before you begi
Page 11: T-11Lesson 1 - ModelSim conceptual
Page 17 and 18: Debugging tools T-17Debugging tools
Page 19: T-19Lesson 2 - Basic simulationTopi
Page 23 and 24: Compiling the design T-23Compiling
Page 25 and 26: Running the simulation T-25Running
Page 27 and 28: Setting breakpoints and stepping in
Page 29 and 30: Lesson wrap-up T-29Lesson wrap-upTh
Page 31 and 32: T-31Lesson 3 - ModelSim projectsTop
Page 33 and 34: Creating a new project T-33Creating
Page 35 and 36: Creating a new project T-35You shou
Page 37 and 38: Organizing projects with folders T-
Page 39 and 40: Simulation Configurations T-39Simul
Page 41 and 42: T-41Lesson 4 - Working with multipl
Page 43 and 44: Creating the resource library T-43C
Page 45 and 46: Creating the project T-45Creating t
Page 47 and 48: Linking to the resource library T-4
Page 49 and 50: Permanently mapping resource librar
Page 51 and 52: T-51Lesson 5 - Simulating designs w
Page 53 and 54: Setting up the environment T-53Sett
Page 55 and 56: Preparing an OSCI SystemC design T-
Page 57 and 58: Mixed SystemC and HDL example T-57M
Page 59 and 60: Mixed SystemC and HDL example T-597
Page 61 and 62: Viewing SystemC objects in the GUI
Page 63 and 64: Viewing SystemC objects in the GUI
Page 65 and 66: T-65Lesson 6 - Viewing simulations
Page 67 and 68: Loading a design T-67Loading a desi
Page 69 and 70: Zooming the waveform display T-69Zo
Page 71 and 72:
Using cursors in the Wave window T-
Page 73 and 74:
Saving the window format T-73Saving
Page 75 and 76:
T-75Lesson 7 - Creating stimulus wi
Page 77 and 78:
Loading a design unit T-77Loading a
Page 79 and 80:
Creating waves with a wizard T-79cI
Page 81 and 82:
Editing waveforms in the Wave windo
Page 83 and 84:
Saving and reusing the wave command
Page 85 and 86:
Running the simulation T-85Running
Page 87 and 88:
Importing an EVCD file T-87Importin
Page 89 and 90:
T-89Lesson 8 - Debugging with the D
Page 91 and 92:
Compiling and loading the design T-
Page 93 and 94:
Tracing events T-93Tracing eventsFi
Page 95 and 96:
Tracing an ’X’ (unknown) T-95Tr
Page 97 and 98:
Lesson Wrap-up T-97Lesson Wrap-upTh
Page 99 and 100:
T-99Lesson 9 - Viewing and initiali
Page 101 and 102:
Page 103 and 104:
Viewing a memory T-1032 Simulate th
Page 105 and 106:
Viewing a memory T-1052 Edit the ad
Page 107 and 108:
Initializing a memory T-107Initiali
Page 109 and 110:
Interactive debugging commands T-10
Page 111 and 112:
Lesson Wrap-up T-111Lesson Wrap-upT
Page 113 and 114:
T-113Lesson 10 - Analyzing performa
Page 115 and 116:
Page 117 and 118:
Running the simulation T-117bClick
Page 119 and 120:
Using the data to improve performan
Page 121 and 122:
Lesson wrap-up T-121Lesson wrap-upF
Page 123 and 124:
T-123Lesson 11 - Simulating with Co
Page 125 and 126:
Compiling the design T-125Compiling
Page 127 and 128:
Viewing statistics in the Main wind
Page 129 and 130:
Viewing statistics in the Source wi
Page 131 and 132:
Viewing toggle statistics in the Ob
Page 133 and 134:
Creating Code Coverage reports T-13
Page 135 and 136:
T-135Lesson 12 - Debugging with PSL
Page 137 and 138:
Compile the example design T-137Com
Page 139 and 140:
Using assertions to speed debugging
Page 141 and 142:
Debugging the assertion failure T-1
Page 143 and 144:
Display cover directives in count m
Page 145 and 146:
Lesson wrap-up T-145Lesson wrap-upT
Page 147 and 148:
T-147Lesson 13 - Waveform CompareTo
Page 149 and 150:
Creating the reference dataset T-14
Page 151 and 152:
Creating the test dataset T-151VHDL
Page 153 and 154:
Viewing comparison data T-153Viewin
Page 155 and 156:
Saving and reloading comparison dat
Page 157 and 158:
Lesson wrap-up T-157Lesson wrap-upT
Page 159 and 160:
T-159Lesson 14 - Automating ModelSi
Page 161 and 162:
Creating a simple DO file T-161Crea
Page 163 and 164:
Running ModelSim in command-line mo
Page 165 and 166:
Running ModelSim in command-line mo
Page 167 and 168:
Using Tcl with ModelSim T-167cThese
Page 169 and 170:
T-169End-User License AgreementIMPO
Page 171 and 172:
T-1715.2. THE WARRANTIES SET FORTH
Page 173 and 174:
T-173arising out of or in relation
Page 175 and 176:
IndexAaCC T-53add dataflow command
Page 177 and 178:
T-177Support T-8SystemC T-51setting
show all

ModelSim SE Tutorial

Create successful ePaper yourself

Delete template?

Save as template?