module mux(altremote_reconfig, altremote_busy, in_altremote, in_updatelogic, out_altasmi); input altremote_reconfig; input altremote_busy; input in_altremote; //This need to be assigned according to the respective outputs from altremote_update that need to ...