Symbolic techniques applied to switched-current ADCs synthesis | IEEE Conference Publication | IEEE Xplore