A General Framework for Synthesis of Data Format Converters | IEEE Conference Publication | IEEE Xplore