-intstyle "ise" -incremental -lib "unisims_ver" -lib "unimacro_ver" -lib "xilinxcorelib_ver" -lib "secureip" -o "/home/michael/Documents/School/EC311/lab4/Test_ContdownController_isim_beh.exe" -prj "/home/michael/Documents/School/EC311/lab4/Test_ContdownController_beh.prj" "work.Test_ContdownController" "work.glbl"