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

Maher Hawash, Martin Lukac, Michitaka Kameyama, Marek Perkowski

Research output: Chapter in Book/Report/Conference proceedingConference contribution

4 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 languageEnglish
Title of host publicationProceedings of The International Symposium on Multiple-Valued Logic
Pages41-46
Number of pages6
DOIs
Publication statusPublished - 2013
Externally publishedYes
Event2013 IEEE 43rd International Symposium on Multiple-Valued Logic, ISMVL 2013 - Toyama, Japan
Duration: May 22 2013May 24 2013

Other

Other2013 IEEE 43rd International Symposium on Multiple-Valued Logic, ISMVL 2013
CountryJapan
CityToyama
Period5/22/135/24/13

Fingerprint

Benchmark
Specification
Specifications
Ternary
Synthesis
Resources
Networks (circuits)
Requirements

ASJC Scopus subject areas

  • Computer Science(all)
  • Mathematics(all)

Cite this

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

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

Proceedings of The International Symposium on Multiple-Valued Logic. 2013. p. 41-46 6524637.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Hawash, M, Lukac, M, Kameyama, M & Perkowski, M 2013, Multiple-valued reversible benchmarks and extensible quantum specification (XQS) format. in Proceedings of The International Symposium on Multiple-Valued Logic., 6524637, pp. 41-46, 2013 IEEE 43rd International Symposium on Multiple-Valued Logic, ISMVL 2013, Toyama, Japan, 5/22/13. https://doi.org/10.1109/ISMVL.2013.39
Hawash M, Lukac M, Kameyama M, Perkowski M. Multiple-valued reversible benchmarks and extensible quantum specification (XQS) format. In Proceedings of The International Symposium on Multiple-Valued Logic. 2013. p. 41-46. 6524637 https://doi.org/10.1109/ISMVL.2013.39
Hawash, Maher ; Lukac, Martin ; Kameyama, Michitaka ; Perkowski, Marek. / Multiple-valued reversible benchmarks and extensible quantum specification (XQS) format. Proceedings of The International Symposium on Multiple-Valued Logic. 2013. pp. 41-46
@inproceedings{197beb52f0b14d1e932798e58b9992d9,
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",
doi = "10.1109/ISMVL.2013.39",
language = "English",
isbn = "9780769549767",
pages = "41--46",
booktitle = "Proceedings of The International Symposium on Multiple-Valued Logic",

}

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

Y1 - 2013

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

SN - 9780769549767

SP - 41

EP - 46

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

ER -