000215927 001__ 215927
000215927 005__ 20190317000406.0
000215927 020__ $$a978-1-4673-9488-8
000215927 0247_ $$2doi$$a10.1109/ISMVL.2016.21
000215927 02470 $$2ISI$$a000386537300009
000215927 037__ $$aCONF
000215927 245__ $$aNotes on Majority Boolean Algebra
000215927 269__ $$a2016
000215927 260__ $$bIEEE$$c2016$$aLos Alamitos
000215927 300__ $$a6
000215927 336__ $$aConference Papers
000215927 490__ $$aInternational Symposium on Multiple-Valued Logic
000215927 520__ $$aA Majority-Inverter Graph (MIG) is a homogeneous logic network, where each node represents the majority function. Recently, a logic optimization package based on the MIG data-structure, with 3-input majority node (M3) has been proposed [2], [30]. It is demonstrated to have efficient area-delay-power results compared to state-of-the-art logic optimization packages. In this paper, the Boolean algebraic transformations based on majority logic, i.e., majority Boolean algebra is studied. In the first part of this paper, we summarize a range of identities for majority Boolean algebra with their corresponding proofs. In the second part, we venture towards heterogeneous logic network and provide reversible logic mapping of majority nodes.
000215927 700__ $$aChattopadhyay, A.
000215927 700__ $$aAmarù, Luca
000215927 700__ $$0249604$$g263922$$aSoeken, Mathias
000215927 700__ $$aGaillardon, Pierre-Emmanuel
000215927 700__ $$0240269$$g167918$$aDe Micheli, Giovanni
000215927 7112_ $$dMay 18-20, 2016$$cSapporo, Japan$$aIEEE International Symposium on Multi-Valued Logic (ISMVL)
000215927 773__ $$tProceedings of the IEEE International Symposium on Multi-Valued Logic (ISMVL)$$q50-55
000215927 8564_ $$uhttps://infoscience.epfl.ch/record/215927/files/9489a050.pdf$$zn/a$$s209320$$yn/a
000215927 909C0 $$xU11140$$0252283$$pLSI1
000215927 909CO $$pIC$$ooai:infoscience.tind.io:215927$$qGLOBAL_SET$$pconf$$pSTI
000215927 917Z8 $$x112915
000215927 917Z8 $$x112915
000215927 917Z8 $$x112915
000215927 937__ $$aEPFL-CONF-215927
000215927 973__ $$rREVIEWED$$sPUBLISHED$$aEPFL
000215927 980__ $$aCONF