北大数字集成电路教程12verilog的TUI调试课件.pptVIP

命令历史列表 C4 $history; Command history: C1* forever @( posedge clk) $stop; C2 $list; C3 $display( clear); C4* $history; C5 -1 C6 2 处于活动状态的命令由(*)标记 系统任务$history或Tcl命令history可以列出以前执行的交互命令。 在NC Verilog中输入!命令编号或history redo -命令编号可以重新执行命令。 在Verilog-XL中，输入命令编号重新执行命令或-命令编号取消命令。 ncsim history 1 stop -time 10ns -delbreak 1 2 stop -condition {# clk == 1} 3 run 4 if {# en1 || #en2} { stop -condition {# clk== 1} } 5 stop -line 7 -name linbr 6 stop -show 7 stop -delete 2 8 stop -disable linbr 9 history ncsim history redo –2 Created stop 2 Verilog-XL NC Verilog 用history命令修改历史机制将保持的命令数来重新执行一个指定的以前的命令，并在重新执行前替代一个以前命令的一些部分。history命令是一个标准Tcl命令。 保存及重启动仿真 在Verilog-XL中，可以在交互式模式或在源代码中使用下列命令： $save和$incsave命令保存整个仿真数据结构。 $restart或-r命令行选项可以从保存时间重新开始仿真。 这样可以不必重新编译并重新仿真到该时间点。 $reset重新设置仿真状态到时刻0的状态。 系统任务$history或Tcl命令history可以列出以前执行的交互命令。 C1 #500 $save(“save.dat”); // 在500 ns后保存仿真 C2 forever #100000 // 每个100000 ns后 $incsave(“ inc. dat”); // 增量式保存仿真 在NC Verilog中使用这些Tcl交互命令： save和restart保存并从一个仿真snapshot重新开始。 reset重新从时刻0snapshot开始。 由于NC Verilog总是保存所有数据，snapshot只是简单的保存初始值。这使保存和重新开始更快更可靠。 ncsim stop -time 100000NS -execute {save try1} ncsim restart try1 保存及重启动仿真 可以将仿真数据结构保存到一个文件并在以后再次启动仿真。 用这个特性可以定点检查一个长仿真并： 在机器崩溃时保护仿真（machine failure） 执行快速“what if”关 系统任务$save保存仿真数据结构。提供一个文件名参数用于存储仿真数据结构。 系统任务$incsave进行增量保存。增量保存使用较少空间。 系统任务$restart或-r命令行选项从一个以前保存的数据结构重新开始仿真。需要提供储存仿真数据结构的文件名作为参数。 注意使用-r 命令行选项时，不用指定设计文件。 仿真器执行一个过程语句中间不能保存。用run -clean到达仿真中的下一个“clean”点，然后执行 save命令。可以以后重新装载snapshot继续仿真； Tcl环境的状态(包括指针)并不和snapshot一起保存。要保存Tcl环境，必须单独执行一个save -environment。要从储存的Tcl环境restart ，必须编译保存的环境文件。 在Verilog-XL中执行playing back TUI命令 系统任务$input或-i命令行选项可以执行一个脚本文件。 仿真器在交互模式下执行命令脚本。 verilog mods. v -i keyfile. txt -q –s //在交互模式下，并在时间0执行keyfile.txt C1 $display( Executed keyfile at %g,$ realtime); Executed keyfile at 0 C2 begin $input(“ keyfile. txt”); #10 $stop; end . //停止时执行keyfile.txt C2: $stop at simulation time 10 C3 $display( Executed keyfil