Symbolic synthesis of non-linear data converters | IEEE Conference Publication | IEEE Xplore