Multiple-valued reversible benchmarks and extensible quantum specification (XQS) format

Maher Hawash; Martin Lukac; Michitaka Kameyama; Marek Perkowski

doi:10.1109/ISMVL.2013.39

Multiple-valued reversible benchmarks and extensible quantum specification (XQS) format

Maher Hawash, Martin Lukac, Michitaka Kameyama, Marek Perkowski

INF - Computer and Mathematical Sciences

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

5 Citations (Scopus)

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.

Original language	English
Title of host publication	Proceedings - 2013 IEEE 43rd International Symposium on Multiple-Valued Logic, ISMVL 2013
Pages	41-46
Number of pages	6
DOIs	https://doi.org/10.1109/ISMVL.2013.39
Publication status	Published - 2013 Aug 1
Event	2013 IEEE 43rd International Symposium on Multiple-Valued Logic, ISMVL 2013 - Toyama, Japan Duration: 2013 May 22 → 2013 May 24

Publication series

Name	Proceedings of The International Symposium on Multiple-Valued Logic
ISSN (Print)	0195-623X

Other

Other	2013 IEEE 43rd International Symposium on Multiple-Valued Logic, ISMVL 2013
Country/Territory	Japan
City	Toyama
Period	13/5/22 → 13/5/24

ASJC Scopus subject areas

Computer Science(all)
Mathematics(all)

Access to Document

10.1109/ISMVL.2013.39

Cite this

Hawash, M., Lukac, M., Kameyama, M., & Perkowski, M. (2013). Multiple-valued reversible benchmarks and extensible quantum specification (XQS) format. In Proceedings - 2013 IEEE 43rd International Symposium on Multiple-Valued Logic, ISMVL 2013 (pp. 41-46). [6524637] (Proceedings of The International Symposium on Multiple-Valued Logic). https://doi.org/10.1109/ISMVL.2013.39

Multiple-valued reversible benchmarks and extensible quantum specification (XQS) format. / Hawash, Maher; Lukac, Martin; Kameyama, Michitaka et al.

Proceedings - 2013 IEEE 43rd International Symposium on Multiple-Valued Logic, ISMVL 2013. 2013. p. 41-46 6524637 (Proceedings of The International Symposium on Multiple-Valued Logic).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Hawash, M, Lukac, M, Kameyama, M & Perkowski, M 2013, Multiple-valued reversible benchmarks and extensible quantum specification (XQS) format. in Proceedings - 2013 IEEE 43rd International Symposium on Multiple-Valued Logic, ISMVL 2013., 6524637, Proceedings of The International Symposium on Multiple-Valued Logic, pp. 41-46, 2013 IEEE 43rd International Symposium on Multiple-Valued Logic, ISMVL 2013, Toyama, Japan, 13/5/22. https://doi.org/10.1109/ISMVL.2013.39

@inproceedings{aabfe0073f824d728a838339291729c1,

title = "Multiple-valued reversible benchmarks and extensible quantum specification (XQS) format",

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.",

author = "Maher Hawash and Martin Lukac and Michitaka Kameyama and Marek Perkowski",

year = "2013",

month = aug,

day = "1",

doi = "10.1109/ISMVL.2013.39",

language = "English",

isbn = "9780769549767",

series = "Proceedings of The International Symposium on Multiple-Valued Logic",

pages = "41--46",

booktitle = "Proceedings - 2013 IEEE 43rd International Symposium on Multiple-Valued Logic, ISMVL 2013",

note = "2013 IEEE 43rd International Symposium on Multiple-Valued Logic, ISMVL 2013 ; Conference date: 22-05-2013 Through 24-05-2013",

}

TY - GEN

T1 - Multiple-valued reversible benchmarks and extensible quantum specification (XQS) format

AU - Hawash, Maher

AU - Lukac, Martin

AU - Kameyama, Michitaka

AU - Perkowski, Marek

PY - 2013/8/1

Y1 - 2013/8/1

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=84880759737&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84880759737&partnerID=8YFLogxK

U2 - 10.1109/ISMVL.2013.39

DO - 10.1109/ISMVL.2013.39

M3 - Conference contribution

AN - SCOPUS:84880759737

SN - 9780769549767

T3 - Proceedings of The International Symposium on Multiple-Valued Logic

SP - 41

EP - 46

BT - Proceedings - 2013 IEEE 43rd International Symposium on Multiple-Valued Logic, ISMVL 2013

T2 - 2013 IEEE 43rd International Symposium on Multiple-Valued Logic, ISMVL 2013

Y2 - 22 May 2013 through 24 May 2013

ER -

Multiple-valued reversible benchmarks and extensible quantum specification (XQS) format

Abstract

Publication series

Other

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this