Cargando…

Search-Based Transformation Synthesis for 3-Valued Reversible Circuits

A novel bounded search transformation-based synthesis approach is presented that finds a reversible circuit implementation for a given reversible function. Methods for simplifying the circuit post-synthesis are presented. Quantum implementation constraints are also considered. Experimental results f...

Descripción completa

Detalles Bibliográficos
Autores principales: Miller, D. Michael, Dueck, Gerhard W.
Formato: Online Artículo Texto
Lenguaje:English
Publicado: 2020
Materias:
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7345300/
http://dx.doi.org/10.1007/978-3-030-52482-1_13
_version_ 1783556149047459840
author Miller, D. Michael
Dueck, Gerhard W.
author_facet Miller, D. Michael
Dueck, Gerhard W.
author_sort Miller, D. Michael
collection PubMed
description A novel bounded search transformation-based synthesis approach is presented that finds a reversible circuit implementation for a given reversible function. Methods for simplifying the circuit post-synthesis are presented. Quantum implementation constraints are also considered. Experimental results for all 2-input 3-valued functions show the effectiveness of the new approaches compared to earlier transformation-based synthesis approaches. Other examples are given to show both the effectiveness and limitations of the new approach which point to a number of key areas for further research.
format Online
Article
Text
id pubmed-7345300
institution National Center for Biotechnology Information
language English
publishDate 2020
record_format MEDLINE/PubMed
spelling pubmed-73453002020-07-09 Search-Based Transformation Synthesis for 3-Valued Reversible Circuits Miller, D. Michael Dueck, Gerhard W. Reversible Computation Article A novel bounded search transformation-based synthesis approach is presented that finds a reversible circuit implementation for a given reversible function. Methods for simplifying the circuit post-synthesis are presented. Quantum implementation constraints are also considered. Experimental results for all 2-input 3-valued functions show the effectiveness of the new approaches compared to earlier transformation-based synthesis approaches. Other examples are given to show both the effectiveness and limitations of the new approach which point to a number of key areas for further research. 2020-06-17 /pmc/articles/PMC7345300/ http://dx.doi.org/10.1007/978-3-030-52482-1_13 Text en © Springer Nature Switzerland AG 2020 This article is made available via the PMC Open Access Subset for unrestricted research re-use and secondary analysis in any form or by any means with acknowledgement of the original source. These permissions are granted for the duration of the World Health Organization (WHO) declaration of COVID-19 as a global pandemic.
spellingShingle Article
Miller, D. Michael
Dueck, Gerhard W.
Search-Based Transformation Synthesis for 3-Valued Reversible Circuits
title Search-Based Transformation Synthesis for 3-Valued Reversible Circuits
title_full Search-Based Transformation Synthesis for 3-Valued Reversible Circuits
title_fullStr Search-Based Transformation Synthesis for 3-Valued Reversible Circuits
title_full_unstemmed Search-Based Transformation Synthesis for 3-Valued Reversible Circuits
title_short Search-Based Transformation Synthesis for 3-Valued Reversible Circuits
title_sort search-based transformation synthesis for 3-valued reversible circuits
topic Article
url https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7345300/
http://dx.doi.org/10.1007/978-3-030-52482-1_13
work_keys_str_mv AT millerdmichael searchbasedtransformationsynthesisfor3valuedreversiblecircuits
AT dueckgerhardw searchbasedtransformationsynthesisfor3valuedreversiblecircuits