Co-simulation of Vivado/ISE and modelsim