When I try to simulate my embedded system with an xps_most_nic core, I get the following vsim error:
"** Error: (vsim-8346) /tools/EDK/project/ip2/processor/hardware/xps_most_nic/xps_usb2_device_v1_00_a/./hdl/src/vhdl/xps_usb2_device.vhd(426):VHDL component port was not found because Verilog port 'SPLB_Rst' was
mapped to the extended identifier '\SPLB_Rst\'."
This problem has been fixed in the latest EDK 10.1 Service Pack, available at:
http://www.xilinx.com/xlnx/xil_sw_updates_home.jsp
The first service pack containing the fix is EDK 10.1 Service Pack 1.