High-Level Design of Multiple-Valued Arithmetic Circuits Based on Arithmetic Description Language | IEEE Conference Publication | IEEE Xplore