Title :
Multiple-Valued Reversible Benchmarks and Extensible Quantum Specification (XQS) Format
Author :
Hawash, Maher ; Lukac, Martin ; Kameyama, Michitaka ; Perkowski, Marek
Author_Institution :
Dept. of Electr. & Comput. Eng., Portland State Univ., Portland, OR, USA
Abstract :
In this paper we introduce a set of resources used to describe multiple-valued (MV) functions: a set of multiple-valued benchmarks and a file format specifically designed to accommodate the requirements of multiple-valued function representation. The proposed functions are intended for use as reference benchmarks for automated synthesis algorithms of multiple-valued circuits. In the MV domain, functions can be represented using fixed radices (e.g. ternary, quaternary, etc) or using mixed radices (hybrid functions). Since such functions are harder to represent with the existing PLA specification, in this paper, we introduce the eXtensible Quantum Specification (XQS) file format which is based on the well-known YAML file specification.
Keywords :
logic design; multivalued logic circuits; MV domain; MV functions; PLA specification; XQS file format; automated synthesis algorithms; extensible quantum specification file format; hybrid functions; mixed radices; multiple-valued circuits; multiple-valued function representation; multiple-valued reversible benchmarks; reference benchmarks; well-known YAML file specification; Adders; Arrays; Benchmark testing; Logic gates; Programmable logic arrays; Quantum computing; Web sites;
Conference_Titel :
Multiple-Valued Logic (ISMVL), 2013 IEEE 43rd International Symposium on
Conference_Location :
Toyama
Print_ISBN :
978-1-4673-6067-8
Electronic_ISBN :
0195-623X
DOI :
10.1109/ISMVL.2013.39