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...
Autores principales: | , |
---|---|
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 |