Symbolic synthesis of analog-to-digital conversion architectures using direct-mapping techniques | IEEE Conference Publication | IEEE Xplore