在应用Xilinx公司生产的FPGA芯片进行设计的过程中,以下哪种仿真不需要XilinX的器件库支持和导入“glbl.v”文件?