{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T11:33:00Z","timestamp":1725535980425},"publisher-location":"Boston, MA","reference-count":33,"publisher":"Springer US","isbn-type":[{"type":"print","value":"9780387895574"},{"type":"electronic","value":"9780387895581"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-0-387-89558-1_2","type":"book-chapter","created":{"date-parts":[[2009,8,5]],"date-time":"2009-08-05T20:04:21Z","timestamp":1249502661000},"page":"1-16","source":"Crossref","is-referenced-by-count":0,"title":["Use of Gray Decoding for Implementation of Symmetric Functions"],"prefix":"10.1007","author":[{"given":"Osnat","family":"Keren","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ilya","family":"Levin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Radomir S.","family":"Stankovic","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2009,2,11]]},"reference":[{"key":"2_CR1_2","volume-title":"Fundamentals of Switching Theory and Logic Design: A Hands on Approach,","author":"J.T. Astola","year":"2006","unstructured":"J.T. Astola and R.S. Stankovic, Fundamentals of Switching Theory and Logic Design: A Hands on Approach, Springer-Verlag New York, 2006."},{"key":"2_CR2_2","doi-asserted-by":"publisher","first-page":"290","DOI":"10.1109\/MWSCAS.1995.504434","volume":"1","author":"M. Chrzanowska-Jeske","year":"1995","unstructured":"M. Chrzanowska-Jeske and Z. Wang, \u201cMapping of symmetric and partially-symmetric functions to the CA-type FPGAs\u201d proc. of the 38th Midwest Symposium on Circuits and Systems, vol. 1, pp. 290\u2013293, Aug 1995.","journal-title":"proc. of the 38th Midwest Symposium on Circuits and Systems,"},{"issue":"5","key":"2_CR3_2","doi-asserted-by":"publisher","first-page":"710","DOI":"10.1109\/43.277615","volume":"12","author":"D. L. Dietmeyer","year":"1993","unstructured":"D. L. Dietmeyer, \u201cGenerating minimal covers of symmetric functions,\u201d IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, Vol. 12, No. 5, pp. 710\u2013713, May 1993.","journal-title":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems,"},{"key":"2_CR4_2","doi-asserted-by":"crossref","unstructured":"R. Drechsler, B. Becker, \u201cSympathy: fast exact minimization of fixed polarity Reed-Muller expressions for symmetric functions,\u201d Proc. of the European Design and Test Conference, pp. 91 \u2013 97, March 1995.","DOI":"10.1109\/EDTC.1995.470414"},{"issue":"3","key":"2_CR5_2","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1049\/el:20000214","volume":"36","author":"R. Drechsler","year":"2000","unstructured":"R. Drechsler and B. Becker, \u201cEXOR transforms of inputs to design efficient two-level AND-EXOR adders,\u201d IEE Electronic Letters, vol. 36, no. 3, pp. 201\u2013202, Feb. 2000.","journal-title":"IEE Electronic Letters,"},{"key":"2_CR6_2","unstructured":"F. Gray, \u201cPulse code communication,\u201d March 17, 1953 (filed Nov. 1947). U.S. Patent 2.632,058."},{"key":"2_CR7_2","unstructured":"W. G\u00fcnther, R. Drechsler, \u201cBDD minimization by linear transforms\u201d, Advanced Computer Systems, pp. 525\u2013532, 1998."},{"key":"2_CR8_2","volume-title":"Spectral Techniques in Digital Logic,","author":"S.L. Hurst","year":"1985","unstructured":"S.L. Hurst, D.M. Miller, J.C. Muzio, Spectral Techniques in Digital Logic, Academic Press, Bristol, 1985."},{"key":"2_CR9_2","doi-asserted-by":"crossref","unstructured":"J. Jain, D. Moundanos, J. Bitner, J.A. Abraham, D.S. Fussell and D.E. Ross, \u201cEfficient variable ordering and partial representation algorithm,\u201d Proc. of the 8th International Conference on VLSI Design, pp. 81\u201386, Jan. 1995.","DOI":"10.1109\/ICVD.1995.512082"},{"key":"2_CR10_2","doi-asserted-by":"crossref","unstructured":"J. Jakob, P.S. Sivakumar, V.D. Agarwal, \u201cAdder and comparator synthesis with exclusive-OR transform of inputs\u201d, Proc. 1st Int. Conf. VLSI Design, pp. 514\u2013515, 1997.","DOI":"10.1109\/ICVD.1997.568190"},{"key":"2_CR11_2","doi-asserted-by":"crossref","unstructured":"S. Kannurao and B. J. Falkowski, \u201cIdentification of complement single variable symmetry in Boolean functions through Walsh transform,\u201d Proceedings of the International Symposium on Circuits and Systems (ISCAS), 2002.","DOI":"10.1109\/ISCAS.2002.1010811"},{"key":"2_CR12_2","unstructured":"M.G. Karpovsky, Finite Orthogonal Series in the Design of Digital Devices, John Wiley, 1976."},{"key":"2_CR13_2","first-page":"83","volume":"No. 2","author":"M.G. Karpovsky","year":"1970","unstructured":"M.G. Karpovsky, E.S. Moskalev, \u201cUtilization of autocorrelation characteristics for the realization of systems of logical functions,\u201d Avtomatika i Telemekhanika, No. 2, 1970, 83\u201390, English translation Automatic and Remote Control, Vol. 31, pp. 342\u2013350, 1970.","journal-title":"Avtomatika i Telemekhanika,"},{"issue":"5","key":"2_CR14_2","doi-asserted-by":"publisher","first-page":"592","DOI":"10.1109\/TC.2003.1197126","volume":"52","author":"M.G. Karpovsky","year":"May 2003","unstructured":"M.G. Karpovsky, R.S. Stankovic and J.T. Astola, \u201cReduction of sizes of decision diagrams by autocorrelation functions,\u201d IEEE Trans. on Computers, vol. 52, no. 5, pp. 592\u2013606, May 2003.","journal-title":"IEEE Trans. on Computers,"},{"key":"2_CR15_2","unstructured":"O. Keren, I. Levin and R.S. Stankovic, \u201cLinearization of Functions Represented as a Set of Disjoint Cubes at the Autocorrelation Domain,\u201d Proc. of the 7th International Workshop on Boolean Problems, pp. 137\u2013144, Sept. 2006."},{"issue":"4O","key":"2_CR16_2","doi-asserted-by":"publisher","first-page":"436","DOI":"10.1109\/43.75627","volume":"Vol.10","author":"B. G. Kim","year":"1991","unstructured":"B. G. Kim, D.L. Dietmeyer, \u201cMultilevel logic synthesis of symmetric switching functions,\u201d IEEE Trans. on Computer-Aided Design of Integrated Circuits and Systems, Vol.10, No. 4O, pp. 436\u2013446, Apr. 1991.","journal-title":"IEEE Trans. on Computer-Aided Design of Integrated Circuits and Systems,"},{"issue":"6","key":"2_CR17_2","doi-asserted-by":"crossref","first-page":"1445","DOI":"10.1002\/j.1538-7305.1956.tb03836.x","volume":"35","author":"E.J., McCluskey Jr","year":"1956","unstructured":"E.J., Jr. McCluskey, \u201cDetection of group invariance or total symmetry of a Boolean function,\u201d Bell Systems Tech. Journal, vol. 35, no. 6, pp. 1445\u20131453, 1956.","journal-title":"Bell Systems Tech. Journal,"},{"issue":"5","key":"2_CR18_2","doi-asserted-by":"crossref","first-page":"521","DOI":"10.1109\/43.845077","volume":"19","author":"Ch. Meinel","year":"2000","unstructured":"Ch. Meinel, F. Somenzi, T. Tehobald, \u201cLinear sifting of decision diagrams and its application in synthesis,\u201d IEEE Trans. CAD, Vol. 19, No. 5, 2000, 521\u2013533.","journal-title":"IEEE Trans. CAD,"},{"key":"2_CR19_2","doi-asserted-by":"crossref","unstructured":"D. Moller, J. Mohnke, and M. Weber, \u201cDetection of symmetry of Boolean functions represented by ROBDDs,\u201d Proc. of the International Conference on Computer-Aided Design (ICCAD), 1993, pp. 680684.","DOI":"10.1109\/ICCAD.1993.580161"},{"issue":"8","key":"2_CR20_2","doi-asserted-by":"publisher","first-page":"248","DOI":"10.1049\/el:19780164","volume":"14","author":"C. Moraga","year":"1978","unstructured":"C. Moraga, \u201cIntroducing disjoint spectral translation in spectral multiple-valued logic design\u201d, IEE Electronics Letters, 1978, Vol. 14, No. 8, pp. 248\u2013243, 1978.","journal-title":"IEE Electronics Letters,"},{"key":"2_CR21_2","doi-asserted-by":"crossref","first-page":"pp. 431","DOI":"10.1016\/0378-4754(85)90062-X","volume":"27,","author":"C. Moraga","year":"1985","unstructured":"C. Moraga, \u201cOn some applications of the Chrestenson functions in logic design and data processing\u201d, Mathematic and Computers in Simulation, Vol. 27, pp. 431\u2013439, 1985.","journal-title":"Mathematic and Computers in Simulation,"},{"issue":"4","key":"2_CR22_2","first-page":"610","volume":"123","author":"E.I. Nechiporuk","year":"1958","unstructured":"E.I. Nechiporuk, \u201cOn the synthesis of networks using linear transformations of variables\u201d, Dokl. AN SSSR. Vol. 123, No. 4, pp. 610\u2013612, Dec. 1958.","journal-title":"Dokl. AN SSSR."},{"key":"2_CR23_2","unstructured":"S. Panda, F. Somenzi, and B. Plessier, \u201cSymmetry detection and dynamic variable ordering of decision diagrams,\u201d Proc. of the International Conference on Computer-Aided Design (ICCAD), 1994."},{"key":"2_CR24_2","doi-asserted-by":"crossref","unstructured":"T. Sasao, Logic Synthesis and Optimization, Springer, 1993.","DOI":"10.1007\/978-1-4615-3154-8"},{"key":"2_CR25_2","doi-asserted-by":"crossref","unstructured":"T. Sasao, Switching Theory for Logic Synthesis, Kluwer Academic Publishers, Feb. 1999","DOI":"10.1007\/978-1-4615-5139-3"},{"key":"2_CR26_2","unstructured":"T. Sasao, \u201cA new expansion of symmetric functions and their application to non-disjoint functional decompositions for LUT type FPGAs\u201d, IEEE Int. Workshop on Logic Synthesis, IWLS-2000, May 2000."},{"key":"2_CR27_2","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1002\/j.1538-7305.1949.tb03624.x","volume":"28","author":"C. E. Shannon","year":"1949","unstructured":"C. E. Shannon, \u201cThe Synthesis of Two-Terminal Switching Circuits,\u201d Bell System Technical Journal, Vol. 28, pp. 59\u201398, Jan. 1949.","journal-title":"Bell System Technical Journal,"},{"key":"2_CR28_2","unstructured":"R.S. Stankovic, J.T. Astola, \u201cSome remarks on linear transform of variables in adders,\u201d Proc. 5th Int. Workshop on Applications of Reed-Muller Expression in Circuit design, Starkville, Mississippi, USA, Aug. 10\u201311, pp. 294\u2013302, 2001."},{"issue":"8","key":"2_CR29_2","doi-asserted-by":"publisher","first-page":"901","DOI":"10.1109\/43.31549","volume":"8","author":"D. Varma","year":"1989","unstructured":"D. Varma and E.A. Trachtenberg, \u201cDesign automation tools for efficient implementation of logic functions by decomposition,\u201d IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 8, no. 8, pp. 901\u2013916, Aug. 1989.","journal-title":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems,"},{"key":"2_CR30_2","doi-asserted-by":"crossref","unstructured":"K.H. Wang and J.H. Chen, \u201cSymmetry Detection for Incompletely Specified Functions,\u201d Proc. of the 41st Conference on Design Automation Conference, (DAC\u201904), pp. 434\u2013437, 2004.","DOI":"10.1145\/996566.996690"},{"issue":"2","key":"2_CR31_2","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1016\/j.ipl.2006.06.008","volume":"100","author":"G. Wolfovitz","year":"2006","unstructured":"G. Wolfovitz \u201cThe complexity of depth-3 circuits computing symmetric Boolean functions,\u201d Information Processing Letters, vol. 100, No. 2, pp. 41 \u2013 46, Oct. 2006.","journal-title":"Information Processing Letters,"},{"key":"2_CR32_2","doi-asserted-by":"crossref","unstructured":"S.N. Yanushkevich, J.T. Butler, G.W. Dueck, V.P. Shmerko, \u201cExperiments on FPRM expressions for partially symmetric logic functions\u201d, Proc. 30th Int. Symp. on Multiple-Valued Logic, Portland, Oregon USA, 141\u2013146, May 2000.","DOI":"10.1109\/ISMVL.2000.848612"},{"key":"2_CR33_2","doi-asserted-by":"crossref","unstructured":"J.S. Zhang, A. Mishchenko, R. Brayton, M. Chrzanowska-Jeske, \u201cSymmetry detection for large Boolean functions using circuit representation, simulation, and satisfiability\u201d, Proceedings of the 43rd annual conference on Design automation, pp. 510\u2013515, 2006.","DOI":"10.1145\/1146909.1147044"}],"container-title":["IFIP \u2013 The International Federation for Information Processing","VLSI-SoC: Advanced Topics on Systems on a Chip"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-0-387-89558-1_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:57:13Z","timestamp":1605650233000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-0-387-89558-1_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9780387895574","9780387895581"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-0-387-89558-1_2","relation":{},"ISSN":["1571-5736"],"issn-type":[{"type":"print","value":"1571-5736"}],"subject":[],"published":{"date-parts":[[2009]]}}}