ModelSim SE Tutorial

More documents

Recommendations

Info

T-22 Lesson 2 - Basic simulationc Click OK.ModelSim creates a directory called work and writes a speciallyformattedfile named _info into that directory. The _info file must remainin the directory to distinguish it as a ModelSim library. Do not edit thefolder contents from your operating system; all changes should be madefrom within ModelSim.ModelSim also adds the library to the list in the Workspace (Figure 3)and records the library mapping for future reference in the ModelSiminitialization file (modelsim.ini).When you pressed OK in step c above, three lines were printed to the Mainwindow Transcript pane:vlib workvmap work work# Modifying modelsim.iniFigure 3: The newly created work libraryThe first two lines are the command-line equivalent of the menu commands youinvoked. Most menu driven functions will echo their command-line equivalents inthis fashion. The third line notifies you that the mapping has been recorded in theModelSim initialization file.ModelSim SE Tutorial
Compiling the design T-23Compiling the designFigure 4: The Compile HDL Source Files dialogWith the working library created, you are ready to compile your source files.You can compile by using the menus and dialogs of the graphic interface, as in theVerilog example below, or by entering a command at the ModelSim> prompt asin the VHDL example below.1 Verilog: Compile counter.v and tcounter.v.a Select Compile > Compile.This opens the Compile Source Files dialog (Figure 4).If the Compile menu option is not available, you probably have a projectopen. If so, close the project by selecting File > Close when theWorkspace pane is selected.b Select counter.v, hold the key down, and then select tcounter.v.c With the two files selected, click Compile.The files are compiled into the work library.d Click Done.Figure 5: Verilog modules compiled into the work libraryVHDL: Compile counter.vhd and tcounter.vhd.a Type vcom counter.vhd tcounter.vhd at the ModelSim> prompt andpress on your keyboard.2 View the compiled design units.a On the Library tab, click the ’+’ icon next to the work library and you willsee two design units (Figure 5). You can also see their types (Modules,Entities, etc.) and the path to the underlying source files if you scroll tothe right.ModelSim 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 and 20: T-19Lesson 2 - Basic simulationTopi
Page 21: Creating the working design library
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

You also want an ePaper? Increase the reach of your titles

Delete template?

Save as template?