Modelsim的自动化脚本仿真平台