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

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

Publication series

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

Other

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

ASJC Scopus subject areas

  • Computer Science(all)
  • Mathematics(all)

Fingerprint Dive into the research topics of 'Multiple-valued reversible benchmarks and extensible quantum specification (XQS) format'. Together they form a unique fingerprint.

Cite this