{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T20:43:26Z","timestamp":1761597806135},"reference-count":32,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2017,3,1]],"date-time":"2017-03-01T00:00:00Z","timestamp":1488326400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J. Comput. Sci. Technol."],"published-print":{"date-parts":[[2017,3]]},"DOI":"10.1007\/s11390-017-1723-1","type":"journal-article","created":{"date-parts":[[2017,3,9]],"date-time":"2017-03-09T09:52:04Z","timestamp":1489053124000},"page":"297-311","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":9,"title":["A Power and Area Optimization Approach of Mixed Polarity Reed-Muller Expression for Incompletely Specified Boolean Functions"],"prefix":"10.1007","volume":"32","author":[{"given":"Zhen-Xue","family":"He","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Li-Min","family":"Xiao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Li","family":"Ruan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fei","family":"Gu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhi-Sheng","family":"Huo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guang-Jun","family":"Qin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ming-Fa","family":"Zhu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Long-Bing","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rui","family":"Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiang","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,3,13]]},"reference":[{"issue":"1","key":"1723_CR1","doi-asserted-by":"crossref","first-page":"015007","DOI":"10.1088\/1674-4926\/37\/1\/015007","volume":"37","author":"PJ Wang","year":"2016","unstructured":"Wang P J, Li K P, Zhang H H. PMGA and its application in area and power optimization for ternary FPRM circuit. Journal of Semiconductors, 2016, 37(1): 015007.","journal-title":"Journal of Semiconductors"},{"key":"1723_CR2","doi-asserted-by":"crossref","unstructured":"Xiao L M, He Z X, Ruan L, Zhang R, Xia T S, Wang X. Optimization of best polarity searching for mixed polarity Reed-Muller logic circuit. In Proc. the 28th IEEE International System-on-Chip Conference, Sept. 2015, pp.275-280.","DOI":"10.1109\/SOCC.2015.7406962"},{"key":"1723_CR3","doi-asserted-by":"crossref","unstructured":"Wang X, Lu Y, Zhang Y, Zhao Z X, Xia T S et al. Probabilistic modeling during power estimation for mixed polarity Reed-Muller logic circuits. In Proc. IEEE International Conference on Green Computing and Communications, Aug. 2013, pp.1414-1418.","DOI":"10.1109\/GreenCom-iThings-CPSCom.2013.247"},{"key":"1723_CR4","unstructured":"Yu H Z, Jiang Z D, Wang P J, Li K P. GA-DTPSO algorithm and its application in area optimization of mixed polarity XNOR\/OR circuits. Journal of Computer-Aided Design & Computer Graphics, 2015, 27(5): 946-952. (in Chinese)"},{"key":"1723_CR5","unstructured":"Bu D L, Jiang J H. Dual logic based polarity conversion and optimization of mixed polarity RM circuits. Acta Electronica Sinica, 2015, 43(1): 79-85. (in Chinese)"},{"issue":"3","key":"1723_CR6","doi-asserted-by":"crossref","first-page":"035007","DOI":"10.1088\/1674-4926\/35\/3\/035007","volume":"35","author":"PJ Wang","year":"2014","unstructured":"Wang P J, Wang Z H, Xu R, Jiang Z D, Wang D S. Conversion algorithm for MPRM expansion. Journal of Semiconductors, 2014, 35(3): 035007.","journal-title":"Journal of Semiconductors"},{"key":"1723_CR7","unstructured":"Wang Y H, Wang L Y, Xia Y S. A fast Reed-Muller fixed polarity conversion algorithm for large circuits. Journal of Computer-Aided Design & Computer Graphics, 2014, 26(11): 2091-2098. (in Chinese)"},{"key":"1723_CR8","unstructured":"Fu Q, Wang P J, Tong N, Wang M B, Zhang H H. Multistrategy discrete particle swarm optimization. Acta Electronica Sinica, 2016, 44(5): 1202-1207. (in Chinese)"},{"key":"1723_CR9","doi-asserted-by":"crossref","unstructured":"Vijayakumari C K, Mythili P, James R K, Akhil K S. Optimal design of combinational logic circuits using genetic algorithm and Reed-Muller universal logic modules. In Proc. International Conference on Embedded Systems, July 2014.","DOI":"10.1109\/EmbeddedSys.2014.6953039"},{"key":"1723_CR10","unstructured":"Li K P, Wang P J, Zhang H H. The search of the best power of ternary FPRM circuit based on simulated annealing genetic algorithm. Journal of Zhejiang University (Science Edition), 2016, 43(2): 190-199. (in Chinese)"},{"key":"1723_CR11","doi-asserted-by":"crossref","unstructured":"Das A, Pradhan S N. Shared Reed-Muller decision diagram based thermal-aware AND-XOR decomposition of logic circuits. VLSI Design, 2016: Article ID3191286.","DOI":"10.1155\/2016\/3191286"},{"key":"1723_CR12","unstructured":"Zhang Q W, Wang P J, Hu J. Exact minimization of ESOP expressions based on hierarchical hypercube. Journal of Computer-Aided Design & Computer Graphics, 2016, 28(1): 172-179. (in Chinese)"},{"issue":"6","key":"1723_CR13","doi-asserted-by":"crossref","first-page":"1307","DOI":"10.1093\/comjnl\/bxu072","volume":"58","author":"X Wang","year":"2015","unstructured":"Wang X, Lu Y, Zhang Y, Zhao Z X, Xia T S et al. Power optimization in logic synthesis for mixed polarity Reed-Muller logic circuits. The Computer Journal, 2015, 58(6): 1307-1313.","journal-title":"The Computer Journal"},{"key":"1723_CR14","doi-asserted-by":"crossref","unstructured":"Das A, Pradhan S N. Thermal aware FPRM based ANDXOR network synthesis of logic circuits. In Proc. the 2nd International Conference on Recent Trends in Information Systems, Sept. 2015, pp.497-502.","DOI":"10.1109\/ReTIS.2015.7232930"},{"issue":"2","key":"1723_CR15","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1007\/s00158-004-0465-1","volume":"29","author":"IY Kim","year":"2005","unstructured":"Kim I Y, de Weck O L. Adaptive weighted-sum method for bi-objective optimization: Pareto front generation. Structural and Multidisciplinary Optimization, 2005, 29(2): 149-158.","journal-title":"Structural and Multidisciplinary Optimization"},{"key":"1723_CR16","doi-asserted-by":"crossref","unstructured":"Debnath D, Sasao T. Exact minimization of fixed polarity Reed-Muller expressions for incompletely specified functions. In Proc. Asia and South Pacific Design Automation Conference, Jan. 2000, pp.247-252.","DOI":"10.1145\/368434.368622"},{"issue":"11","key":"1723_CR17","doi-asserted-by":"crossref","first-page":"845","DOI":"10.1080\/0020721031000093129","volume":"89","author":"MK Habib","year":"2002","unstructured":"Habib M K. A new approach to generate fixed-polarity Reed-Muller expansions for completely and incompletely specified functions. Int. J. Electronics, 2002, 89(11): 845-876.","journal-title":"Int. J. Electronics"},{"issue":"2","key":"1723_CR18","doi-asserted-by":"crossref","first-page":"182","DOI":"10.1109\/4235.996017","volume":"6","author":"K Deb","year":"2002","unstructured":"Deb K, Agarwal S, Pratap A, Meyarivan T. A fast and elitist multiobjective genetic algorithm: NSGA-II. IEEE Transactions on Evolutionary Computation, 2002, 6(2): 182-197.","journal-title":"IEEE Transactions on Evolutionary Computation"},{"key":"1723_CR19","doi-asserted-by":"crossref","unstructured":"Zhang H H, Wang P J. Polarity optimization of XNOR\/OR circuit area and power based on weighted sum method. In Proc. the 9th IEEE International Conference on ASIC, Oct. 2011, pp.341-344.","DOI":"10.1109\/ASICON.2011.6157191"},{"key":"1723_CR20","unstructured":"Wang P J, Wang D S, Jiang Z D, Zhang H H. Area and power optimization of ISFPRM circuits based on PSGA algorithm. Acta Electronica Sinica, 2013, 41(8):1542-1548. (in Chinese)"},{"issue":"5","key":"1723_CR21","doi-asserted-by":"crossref","first-page":"353","DOI":"10.4103\/0377-2063.48540","volume":"54","author":"S Chaudhury","year":"2008","unstructured":"Chaudhury S, Chattopadhyay S. Fixed polarity Reed-Muller network synthesis and its application in AND-OR\/XOR-based circuit realization with area-power tradeoff. IETE Journal of Research, 2008, 54(5): 353-363.","journal-title":"IETE Journal of Research"},{"key":"1723_CR22","doi-asserted-by":"crossref","unstructured":"Wu W J, Wang P J, Zhang X Y, Wang L L et al. Search for the best polarity of multi-output RM circuits based on QGA. In Proc. the 2nd International Symposium on Intelligent Information Technology Application, Dec. 2008, pp.279-282.","DOI":"10.1109\/IITA.2008.430"},{"key":"1723_CR23","doi-asserted-by":"crossref","unstructured":"Xia Y, Ali B, Almaini A E A. Area and power optimization of FPRM function based circuits. In Proc. International Symposium on Circuits and Systems, May 2003, pp.329-332.","DOI":"10.1109\/ISCAS.2003.1206270"},{"key":"1723_CR24","unstructured":"Wang D S, Wang P J. Algorithm about minimization of MPRM expansions including don\u2019t care terms. Journal of Zhejiang University (Science Edition), 2014, 41(1): 38-42. (in Chinese)"},{"key":"1723_CR25","unstructured":"Wang D S, Wang P J, Sun F, Yu H Z. Fixed-polarity conversions for logic functions include don\u2019t care terms. Journal of Circuits and Systems, 2013, 18(1): 117-121. (in Chinese)"},{"key":"1723_CR26","doi-asserted-by":"crossref","unstructured":"Al Jassani B A, Urquhart N, Almaini A E A. Minimization of incompletely specified mixed polarity Reed-Muller functions using genetic algorithm. In Proc. the 3rd International Conference on Signals, Circuits and Systems, Nov. 2009.","DOI":"10.1109\/ICSCS.2009.5412318"},{"key":"1723_CR27","doi-asserted-by":"crossref","unstructured":"Debatosh D, Tsutomu S. Exact minimization of FPRMs for incompletely specified functions by using MTBDDs. IEICE Transactions on Fundamentals of Electronics, Communications and Computer, 2005, 88-A(12): 3332-3341.","DOI":"10.1093\/ietfec\/e88-a.12.3332"},{"key":"1723_CR28","doi-asserted-by":"crossref","unstructured":"Wang D S, Wang P J. Power optimization of incompletely specified fixed polarity Reed-Muller circuits. In Proc. the 11th International Conference on Solid-State and Integrated Circuit Technique, Oct.29-Nov.1, 2012.","DOI":"10.1109\/ICSICT.2012.6467861"},{"issue":"4","key":"1723_CR29","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1049\/ip-cdt:19960564","volume":"143","author":"AEA Almaini","year":"1996","unstructured":"Almaini A E A, Mckenzie L. Tabular techniques for generating kronecker expansions. IEE Proceedings\u2014Computers and Digital Techniques, 1996, 143(4): 205-212.","journal-title":"IEE Proceedings\u2014Computers and Digital Techniques"},{"issue":"3","key":"1723_CR30","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1007\/BF02948902","volume":"18","author":"YS Xia","year":"2003","unstructured":"Xia Y S, Wu X W, Almaini A E A. Power minimization of FPRM functions based on polarity conversion. Journal of Computer Science and Technology, 2003, 18(3): 325-331.","journal-title":"Journal of Computer Science and Technology"},{"key":"1723_CR31","doi-asserted-by":"crossref","unstructured":"Pradhan S N, Chattopadhyay S. AND-XOR network synthesis with area-power trade-off. In Proc. the 3rd International Conference on Industrial and Information Systems, Dec. 2008.","DOI":"10.1109\/ICIINFS.2008.4798440"},{"issue":"1","key":"1723_CR32","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1007\/s11390-012-1210-7","volume":"27","author":"ZF Chu","year":"2012","unstructured":"Chu Z F, Xia Y S, Wang L Y. Cell mapping for nanohybrid circuit architecture using genetic algorithm. Journal of Computer Science and Technology, 2012, 27(1): 113-120.","journal-title":"Journal of Computer Science and Technology"}],"container-title":["Journal of Computer Science and Technology"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11390-017-1723-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11390-017-1723-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11390-017-1723-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,19]],"date-time":"2019-09-19T14:17:52Z","timestamp":1568902672000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11390-017-1723-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,3]]},"references-count":32,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2017,3]]}},"alternative-id":["1723"],"URL":"https:\/\/doi.org\/10.1007\/s11390-017-1723-1","relation":{},"ISSN":["1000-9000","1860-4749"],"issn-type":[{"value":"1000-9000","type":"print"},{"value":"1860-4749","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,3]]}}}