mMIG: Inversion optimization in majority inverter graph with minority operations

Micheli, 1994 Schneider, 2008, Realization of spin-wave logic gates, Appl. Phys. Lett., 92, 10.1063/1.2834714 Kong, 2009, An optimized majority logic synthesis methodology for quantum-dot cellular Automata, IEEE Trans. Nanotechnol., 9, 170, 10.1109/TNANO.2009.2028609 Gaillardon, 2016, The programmable logic-inmemory (plim) computer, 427 Soeken, 2017, Design automation and design space exploration for Quantum computers, 470 Amarú, 2015, New logic synthesis as nanotechnology enabler, Proc. IEEE, 103, 2168, 10.1109/JPROC.2015.2460377 Shirinzadeh, 2016, Fast logic synthesis for RRAM-based in-memory computing using majority-inverter graphs, 948 Shirinzadeh, 2017, Logic synthesis for majority based in-memory computing, 425 Amarù, 2016, Majority-inverter graph: a new paradigm for logic optimization, IEEE Trans. on CAD of Integrated Circuits and Systems, 35, 806, 10.1109/TCAD.2015.2488484 Neutzling, 2019, 1 Neto, 2019, Improving logic optimization in sequential circuits using majority-inverter graphs, 224 Muroga, 1971 Testa, 2016, Inversion optimization in majority-inverter graphs, 15 Chu, 2019, Structural rewriting in XOR-majority graphs, 663 Amarú, 2014, Majority-inverter graph: a novel data-structure and algorithms for efficient logic optimization, 1 Synthesis Amarú, 2016, Majority-based synthesis for nanotechnologies, 499 Soeken, 2017, Exact synthesis of majority-inverter graphs and its applications, IEEE Trans. Comput. Aided Des. Integrated Circ. Syst., 36, 1842, 10.1109/TCAD.2017.2664059 Haaswijk, 2018, SAT based exact synthesis using DAG topology families, 1 mMIG Team Katagi, 2008, Lightweight cryptography for the internet of things, Sony Corporation, 2008, 7 USA Albrecht, 2005, Iwls 2005 benchmarks 2021 Dinu, 2016, SPARX: a family of ARX-based lightweight block ciphers provably secure against linear and differential attacks, proceedings of ASIACRYPT’16, 1