On the synthesis of MVL functions using input and output phase assignments | IEEE Conference Publication | IEEE Xplore