"xil_defaultlib.apatb_infer_only_top" -prj "infer_only.prj" --initfile "C:/Xilinx/SDx/2016.4/Vivado/data/xsim/ip/xsim_ip.ini" --lib "ieee_proposed=./ieee_proposed" -s "infer_only" 
