#停止仿真
quit -sim
#清除信息
.main clear
#建立物理路径lib
vlib ./lib/
#建立物理路径work_a
vlib ./lib/work_a/
#映射逻辑库至物理路径
vmap base_space ./lib/work_a/
#对tb_mealy.v进行编译，把编译文件映射至base_space逻辑库(-work是编译指令)
vlog -work base_space ./tb_mealy.v
#创建design物理路径
vlib ./lib/design/
#映射design逻辑库至物理路径
vmap design ./lib/design/
#编译design文件夹里的.v文件，生成的编译文件映射到design逻辑库(*.v表示所有的.v文件，../表示在当前文件夹下，向上翻一级文件夹)
vlog -work design ./../design/*.v
#启动仿真，把逻辑库文件链接写出，方便链接到(-t仿真精度，-voptargs=+acc启动优化仿真，-L访问的链接)
#如果找不到默认的work库，那么就在我们链接的逻辑库里面找，其中我们必须把顶层文件指明出来（base_space.tb_mealy代表的是：逻辑库.顶层文件）
vsim -t ns -voptargs=+acc -L base_space -L design base_space.tb_mealy
#添加一个tb_mealy分划线波形
add wave -divider {tb_mealy}
#添加顶层文件tb_wave里的所有变量波形（*代表是文件的缩写）
add wave tb_mealy/*
#添加一个mealy分划线波形
add wave -divider {mealy}
#添加例化文件mealy_inst里的所有变量波形
add wave tb_mealy/mealy_inst/*
#跑1us时间
run 1us