实例7-6 使用ModelSim对Diamond生成的文件进行后仿真