000233716 001__ 233716
000233716 005__ 20190812210010.0
000233716 0247_ $$a10.1109/ISMVL.2017.44$$2doi
000233716 037__ $$aCONF
000233716 245__ $$aClassifying Functions with Exact Synthesis
000233716 260__ $$c2017-05-24$$bIEEE
000233716 269__ $$a2017-05-24
000233716 336__ $$aConference Papers
000233716 500__ $$aERC Cybercare 669354 / SNF MAJesty 200021-169084
000233716 520__ $$aDue to recent advances, constraint solvers have become efficient tools for synthesizing optimum Boolean circuits. We take advantage of this by showing how SAT based exact synthesis may be used as a method for finding minimum length Boolean chains. As opposed to other exact synthesis methods, ours may be easily parallelized, which we use to obtain a speedup of approximately 48 times. By combining our method with NPN canonization, we find for the first time the minimum length chains for all 4- and 5-input functions in terms of 3-input Boolean operators. Finally, we propose a hardware acceleration method for NPN canonization. It can be used to speed up NPN canonization in existing algorithms, and we believe it will allow us to find all 6-input NPN classes as well.
000233716 6531_ $$alogic synthesis
000233716 6531_ $$aexact synthesis
000233716 6531_ $$anpn
000233716 6531_ $$anpn classification
000233716 700__ $$aHaaswijk, Winston
000233716 700__ $$g245949$$aTesta, Eleonora$$0249834
000233716 700__ $$g263922$$aSoeken, Mathias$$0249604
000233716 700__ $$g167918$$aDe Micheli, Giovanni$$0240269
000233716 7112_ $$d22-24 May 2017$$cNovi Sad, Serbia$$aIEEE 47th International Symposium on Multiple-Valued Logic (ISMVL)
000233716 773__ $$q272-276$$tProceedings of the 47th International Symposium on Multiple-Valued Logic (ISMVL)
000233716 8564_ $$zn/a$$yn/a$$uhttps://infoscience.epfl.ch/record/233716/files/07965003.pdf$$s181366
000233716 8560_ $$fcarole.burget@epfl.ch
000233716 909C0 $$xU11140$$pLSI1$$0252283
000233716 909CO $$pIC$$ooai:infoscience.tind.io:233716$$qGLOBAL_SET$$pconf$$pSTI
000233716 917Z8 $$x112915
000233716 937__ $$aEPFL-CONF-233716
000233716 973__ $$rREVIEWED$$aEPFL
000233716 980__ $$aCONF