{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,25]],"date-time":"2026-03-25T05:16:21Z","timestamp":1774415781751,"version":"3.50.1"},"reference-count":17,"publisher":"University of Zielona G\u00f3ra, Poland","issue":"4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007,12,1]]},"abstract":"<jats:title>Reduction in the Number of PAL Macrocells in the Circuit of a Moore FSM<\/jats:title><jats:p>Optimization methods of logic circuits for Moore finite-state machines are proposed. These methods are based on the existence of pseudoequivalent states of a Moore finite-state machine, a wide fan-in of PAL macrocells and free resources of embedded memory blocks. The methods are oriented to hypothetical VLSI microcircuits based on the CPLD technology and containing PAL macrocells and embedded memory blocks. The conditions of effective application of each proposed method are shown. An algorithm to choose the best model of a finite-state machine for given conditions is proposed. Examples of proposed methods application are given. The effectiveness of the proposed methods is also investigated.<\/jats:p>","DOI":"10.2478\/v10006-007-0046-8","type":"journal-article","created":{"date-parts":[[2008,1,9]],"date-time":"2008-01-09T14:16:23Z","timestamp":1199888183000},"page":"565-575","source":"Crossref","is-referenced-by-count":30,"title":["Reduction in the Number of PAL Macrocells in the Circuit of a Moore FSM"],"prefix":"10.61822","volume":"17","author":[{"given":"Alexander","family":"Barkalov","sequence":"first","affiliation":[]},{"given":"Larysa","family":"Titarenko","sequence":"additional","affiliation":[]},{"given":"S\u0142awomir","family":"Chmielewski","sequence":"additional","affiliation":[]}],"member":"37438","reference":[{"key":"1","unstructured":"Adamski M. and Barkalov A. (2006): <i>Architectural and Sequential Synthesis of Digital Devices.<\/i> Zielona G\u00f3ra: University of Zielona G\u00f3ra Press. <a target=\"_blank\" href='http:\/\/www.altera.com'>www.altera.com<\/a>"},{"key":"2","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-2692-6","author":"S. Baranov","year":"1994","journal-title":"Logic Synthesis for Control Automata"},{"key":"3","unstructured":"Barkalov A. (1998): <i>Principles of Optimization of Logical Circuit of Moore FSM.<\/i> Cybernetics and system analysis, No. 1, pp. 65-72 (in Russian)."},{"key":"4","first-page":"151","article-title":"Design of Mealy Finite-State-Machines with Transformation of Object Codes","volume":"1","author":"A. Barkalov","year":"2005","journal-title":"International Journal of Applied Mathematics and Computer Science"},{"key":"5","author":"A. Barkalov","year":"2006","journal-title":"Design of Control Units with Programmable Logic"},{"key":"6","doi-asserted-by":"crossref","first-page":"443","DOI":"10.1093\/comjnl\/bxh099","article-title":"Area Conscious State Assignment with Flip-Flop and Output Polarity Selection for Finite State Machine Synthesis - A Genetic Algorithm Approach","volume":"4","author":"S. Chattopadhyay","year":"2005","journal-title":"The Computer Journal"},{"key":"7","author":"G. De Micheli","year":"1994","journal-title":"Synthesis and Optimization of Digital Circuits"},{"key":"8","unstructured":"Devadas S., Ma H.\u2014K., Newton R., Sangiovanni-Vincentelli A. (1988): <i>State Assignment of Finite State Machines Targeting Multilevel Logic Implementations<\/i>, IEEE Transactions on Computer-Aided Design, pp. 1290-1300."},{"key":"9","author":"T. Kam","year":"1998","journal-title":"Synthesis of Finite State Machines: Functional Optimization"},{"key":"10","unstructured":"Kania D. (2004): <i>Logic Synthesis Oriented on Programmable Logic Devices of the PAL type.<\/i> Gliwice: Silesian University of Technology (in Polish). <a target=\"_blank\" href='http:\/\/www.latticesemi.com'>www.latticesemi.com<\/a>"},{"key":"11","author":"C. Maxfield","year":"2004","journal-title":"The Design Warrior's Guide to FPGA"},{"key":"12","author":"E. Mc Cluskey","year":"1986","journal-title":"Logic Design Principles"},{"key":"13","doi-asserted-by":"crossref","unstructured":"Micheli, G. D., Brayton, R. K. and Vincentelli, A. S. (1985): <i>Optimal state assignment for finite state machines.<\/i> IEEE Transactions on Computer-Aided Design, pp. 269-284.","DOI":"10.1109\/TCAD.1985.1270123"},{"key":"14","author":"T. Villa","year":"1998","journal-title":"Synthesis of Finite State Machines: Logic Optimization"},{"key":"15","unstructured":"Villa T., Sangiovanni-Vincentelli A. (1998): <i>State Assignment of Finite State Machines for Optimal Two-Level Logic Implementation<\/i>, IEEE Transactions on Computer-Aided Design, pp. 905-924."},{"key":"16","doi-asserted-by":"crossref","unstructured":"Xia, Y. and Almaini, A. (2002): <i>Genetic algorithm based state assignment for power and area optimization<\/i>, <i>IEEP Comput. Dig. T.<\/i>, Vol. 149, No. 4, pp. 128-133. <a target=\"_blank\" href='http:\/\/www.xilinx.com'>www.xilinx.com<\/a>","DOI":"10.1049\/ip-cdt:20020431"},{"key":"17","unstructured":"Yang S. (1991): <i>Logic Synthesis and Optimization Benchmarks User Guide<\/i>, Microelectronics Center of North Carolina, Research Triangle Park, North Carolina."}],"container-title":["International Journal of Applied Mathematics and Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/content.sciendo.com\/view\/journals\/amcs\/17\/4\/article-p565.xml","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/www.degruyter.com\/view\/j\/amcs.2007.17.issue-4\/v10006-007-0046-8\/v10006-007-0046-8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,29]],"date-time":"2024-02-29T10:27:40Z","timestamp":1709202460000},"score":1,"resource":{"primary":{"URL":"https:\/\/content.sciendo.com\/doi\/10.2478\/v10006-007-0046-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,12,1]]},"references-count":17,"journal-issue":{"issue":"4"},"URL":"https:\/\/doi.org\/10.2478\/v10006-007-0046-8","relation":{},"ISSN":["1641-876X"],"issn-type":[{"value":"1641-876X","type":"print"}],"subject":[],"published":{"date-parts":[[2007,12,1]]}}}