以我外行的经验来看，那个工具是不是叫做Modelsim而不是Motelsim啊