<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Publishing DTD v1.3 20210610//EN" "JATS-journalpublishing1-3.dtd">
<article article-type="research-article" dtd-version="1.3" xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xml:lang="ru"><front><journal-meta><journal-id journal-id-type="publisher-id">sapi</journal-id><journal-title-group><journal-title xml:lang="ru">Системный анализ и прикладная информатика</journal-title><trans-title-group xml:lang="en"><trans-title>«System analysis and applied information science»</trans-title></trans-title-group></journal-title-group><issn pub-type="ppub">2309-4923</issn><issn pub-type="epub">2414-0481</issn><publisher><publisher-name>Belarusian National Technical University</publisher-name></publisher></journal-meta><article-meta><article-id pub-id-type="doi">10.21122/2309-4923-2020-2-61-70</article-id><article-id custom-type="elpub" pub-id-type="custom">sapi-473</article-id><article-categories><subj-group subj-group-type="heading"><subject>Research Article</subject></subj-group><subj-group subj-group-type="section-heading" xml:lang="ru"><subject>Обработка информации и принятие решений</subject></subj-group><subj-group subj-group-type="section-heading" xml:lang="en"><subject>Data processing and decision–making</subject></subj-group></article-categories><title-group><article-title>Синтез параллельных сумматоров по if-диаграммам решений</article-title><trans-title-group xml:lang="en"><trans-title>Synthesis of parallel adders from if-decision diagrams</trans-title></trans-title-group></title-group><contrib-group><contrib contrib-type="author" corresp="yes"><name-alternatives><name name-style="eastern" xml:lang="ru"><surname>Прихожий</surname><given-names>А. А.</given-names></name><name name-style="western" xml:lang="en"><surname>Prihozhy</surname><given-names>A. A.</given-names></name></name-alternatives><bio xml:lang="ru"><p>Анатолий Прихожий   доктор технических наук,. профессор</p></bio><bio xml:lang="en"><p>Anatoly Prihozhy is a full professor at the Computer and system software department</p></bio><xref ref-type="aff" rid="aff-1"/></contrib></contrib-group><aff-alternatives id="aff-1"><aff xml:lang="ru"><institution>Белорусский национальный технический университет</institution><country>Беларусь</country></aff><aff xml:lang="en"><institution>Belarusian National Technical University</institution><country>Belarus</country></aff></aff-alternatives><pub-date pub-type="collection"><year>2020</year></pub-date><pub-date pub-type="epub"><day>18</day><month>08</month><year>2020</year></pub-date><volume>0</volume><issue>2</issue><fpage>61</fpage><lpage>70</lpage><permissions><copyright-statement>Copyright &amp;#x00A9; Прихожий А.А., 2020</copyright-statement><copyright-year>2020</copyright-year><copyright-holder xml:lang="ru">Прихожий А.А.</copyright-holder><copyright-holder xml:lang="en">Prihozhy A.A.</copyright-holder><license xml:lang="ru" license-type="creative-commons-attribution" xlink:href="https://creativecommons.org/licenses/by/4.0/" xlink:type="simple"><license-p>Данная работа распространяется под лицензией Creative Commons Attribution 4.0.</license-p></license><license xml:lang="en" license-type="creative-commons-attribution" xlink:href="https://creativecommons.org/licenses/by/4.0/" xlink:type="simple"><license-p>This work is licensed under a Creative Commons Attribution 4.0 License.</license-p></license></permissions><self-uri xlink:href="https://sapi.bntu.by/jour/article/view/473">https://sapi.bntu.by/jour/article/view/473</self-uri><abstract><p>Сложение является одной из критичных ко времени операций в большинстве современных процессоров. В течение десятилетий проводились обширные исследования, посвященные проектированию высокоскоростных и менее сложных архитектур сумматоров, а также разработке передовых технологий реализации сумматоров. Диаграммы решений являются перспективным подходом к эффективному проектированию многоразрядных сумматоров. Поскольку традиционные двоичные диаграммы решений не полностью соответствуют задаче моделирования архитектур сумматоров, были предложены другие типы диаграмм. If-диаграммы решений являются параллельной моделью многоразрядного сумматора с временной сложностью О(log2n) и технической сложностью О(n×log2n). Настоящая статья предлагает метод систематического разрезания длинных путей в графе диаграммы, который порождает модели сумматоров с такими характер истиками, Сумматоры на базе if-диаграмм конкурентоспособны по сравнению с сумматором Брент-Кунга и его многочисленными модификациями. Мы предлагаем блочную структуру параллельных сумматоров, построенных на if-диаграммах, и вводим их табличное представление, которое способно систематически создавать модели на основе диаграмм любой битовой ширины. Табличное представление сумматоров поддерживает эффективное отображение диаграмм в VHDL-модули на структурном и потоковом уровнях. В статье также исследовано пространство сумматоров посредством изменения коэффициента разветвления выходов. Результаты синтеза на основе ПЛИС и сравнения конкретных сумматоров, построенных на if-диаграммах, с сумматорами Брента-Кунга и мажоритарно-инверторными сумматорами показывают, что новые сумматоры дают более быстрые цифровые схемы меньшего размера.</p></abstract><trans-abstract xml:lang="en"><p>Addition is one of the timing critical operations in most of modern processing units. For decades, extensive research has been done devoted to designing higher speed and less complex adder architectures, and to developing advanced adder implementation technologies. Decision diagrams are a promising approach to the efficient many-bit adder design. Since traditional binary decision diagrams does not match perfectly with the task of modelling adder architectures, other types of diagram were proposed. If-decision diagrams provide a parallel many-bit adder model with the time complexity of Ο(log2n) and area complexity of Ο(n×log2n). The paper propose a technique, which produces adder diagrams with such properties by systematically cutting the diagram’s longest paths. The if-diagram based adders are competitive to the known efficient Brent-Kung adder and its numerous modifications. We propose a blocked structure of the parallel if-diagram-based adders, and introduce an adder table representation, which is capable of systematic producing if-diagram of any bit-width. The representation supports an efficient mapping of the adder diagrams to VHDL-modules at structural and dataflow levels. The paper also shows how to perform the adder space exploration depending on the circuit fan-out. FPGA-based synthesis results and case-study comparisons of the if-diagram-based adders to the Brent-Kung and majority-invertor gate adders show that the new adder architecture leads to faster and smaller digital circuits.</p></trans-abstract><kwd-group xml:lang="ru"><kwd>много-битовые сумматоры</kwd><kwd>диаграммы решений</kwd><kwd>временная задержка</kwd><kwd>площадь</kwd><kwd>VHDL</kwd><kwd>FPGA</kwd><kwd>пространство распараллеливания</kwd></kwd-group><kwd-group xml:lang="en"><kwd>bit adders</kwd><kwd>decision diagrams</kwd><kwd>time delay</kwd><kwd>area</kwd><kwd>VHDL</kwd><kwd>FPGA</kwd><kwd>synthesis</kwd><kwd>adder space exploration</kwd></kwd-group></article-meta></front><back><ref-list><title>References</title><ref id="cit1"><label>1</label><citation-alternatives><mixed-citation xml:lang="ru">T.-K. Liu, K. R. Hohulin, L.-E. Shiau, S. Muroga. «Optimal One-Bit Full-Adders with Different Types of Gates». IEEE Transactions on Computers. Bell Laboratories: IEEE, 1974, C-23 (1): 63–70.</mixed-citation><mixed-citation xml:lang="en">T.-K. Liu, K. R. Hohulin, L.-E. Shiau, S. Muroga. «Optimal One-Bit Full-Adders with Different Types of Gates». IEEE Transactions on Computers. Bell Laboratories: IEEE, 1974, C-23 (1): 63–70.</mixed-citation></citation-alternatives></ref><ref id="cit2"><label>2</label><citation-alternatives><mixed-citation xml:lang="ru">Rosenberger, G. B. «Simultaneous Carry Adder». U. S. Patent 2,966,305. (1960–12–27).</mixed-citation><mixed-citation xml:lang="en">Rosenberger, G. B. «Simultaneous Carry Adder». U. S. Patent 2,966,305. (1960–12–27).</mixed-citation></citation-alternatives></ref><ref id="cit3"><label>3</label><citation-alternatives><mixed-citation xml:lang="ru">P. M. Kogge, H. S. Stone. «A Parallel Algorithm for the Efficient Solution of a General Class of Recurrence Equations». IEEE Transactions on Computers. 1973, C-22 (8): 786–793.</mixed-citation><mixed-citation xml:lang="en">P. M. Kogge, H. S. Stone. «A Parallel Algorithm for the Efficient Solution of a General Class of Recurrence Equations». IEEE Transactions on Computers. 1973, C-22 (8): 786–793.</mixed-citation></citation-alternatives></ref><ref id="cit4"><label>4</label><citation-alternatives><mixed-citation xml:lang="ru">R. P. Brent, H. Te Kung, «A Regular Layout for Parallel Adders». IEEE Transactions on Computers. 1982, C-31, (3): 260–264.</mixed-citation><mixed-citation xml:lang="en">R. P. Brent, H. Te Kung, «A Regular Layout for Parallel Adders». IEEE Transactions on Computers. 1982, C-31, (3): 260–264.</mixed-citation></citation-alternatives></ref><ref id="cit5"><label>5</label><citation-alternatives><mixed-citation xml:lang="ru">N. Poornima, V. S. Kanchana Bhaaskaran. «Area Efficient Hybrid Parallel Prefix Adders». Procedia Materials Science 10 (2015), pp. 371–380.</mixed-citation><mixed-citation xml:lang="en">N. Poornima, V. S. Kanchana Bhaaskaran. «Area Efficient Hybrid Parallel Prefix Adders». Procedia Materials Science 10 (2015), pp. 371–380.</mixed-citation></citation-alternatives></ref><ref id="cit6"><label>6</label><citation-alternatives><mixed-citation xml:lang="ru">L. Amarú, P.-E. Gaillardon, G. De Micheli, «Majority-Inverter Graph: A New Paradigm for Logic Optimization,» IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 35, no. 5, pp. 806–819, May 2016.</mixed-citation><mixed-citation xml:lang="en">L. Amarú, P.-E. Gaillardon, G. De Micheli, «Majority-Inverter Graph: A New Paradigm for Logic Optimization» IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 35, no. 5, pp. 806–819, May 2016.</mixed-citation></citation-alternatives></ref><ref id="cit7"><label>7</label><citation-alternatives><mixed-citation xml:lang="ru">L. Amarú, P.-E. Gaillardon, A. Chattopadhyay, G. De Micheli, «A Sound and Complete Axiomatization of Majority-n Logic,» IEEE Transactions on Computers, vol. 65, no. 9, pp. 2889–2895, September 2016.</mixed-citation><mixed-citation xml:lang="en">L. Amarú, P.-E. Gaillardon, A. Chattopadhyay, G. De Micheli, «A Sound and Complete Axiomatization of Majority-n Logic» IEEE Transactions on Computers, vol. 65, no. 9, pp. 2889–2895, September 2016.</mixed-citation></citation-alternatives></ref><ref id="cit8"><label>8</label><citation-alternatives><mixed-citation xml:lang="ru">V. Tenace, A. Calimera, E. Macii, M. Poncino. «Pass-XNOR logic: A new logic style for P-N junction based graphene circuits». DATE, 2014, pp.1–4.</mixed-citation><mixed-citation xml:lang="en">V. Tenace, A. Calimera, E. Macii, M. Poncino. «Pass-XNOR logic: A new logic style for P-N junction based graphene circuits». DATE, 2014, pp.1–4.</mixed-citation></citation-alternatives></ref><ref id="cit9"><label>9</label><citation-alternatives><mixed-citation xml:lang="ru">Prihozhy, A.A. If-Diagrams: Theory and Application / A.A. Prihozhy // Proc. 7th Int. Workshop PATMOS’97. – UCL, Belgium, 1997. – P. 369–378.</mixed-citation><mixed-citation xml:lang="en">Prihozhy, A.A. If-Diagrams: Theory and Application / A.A. Prihozhy // Proc. 7th Int. Workshop PATMOS’97. – UCL, Belgium, 1997. – P. 369–378.</mixed-citation></citation-alternatives></ref><ref id="cit10"><label>10</label><citation-alternatives><mixed-citation xml:lang="ru">Prihozhy, A.A. Parallel Computing with If-Decision-Diagrams / A.A. Prihozhy, P. U. Brancevich // Proc. Int. Conference PARELEC’98. – Poland, Technical University of Bialystok. – 1998. – P. 179–184.</mixed-citation><mixed-citation xml:lang="en">Prihozhy, A.A. Parallel Computing with If-Decision-Diagrams / A.A. Prihozhy, P. U. Brancevich // Proc. Int. Conference PARELEC’98. – Poland, Technical University of Bialystok. – 1998. – P. 179–184.</mixed-citation></citation-alternatives></ref><ref id="cit11"><label>11</label><citation-alternatives><mixed-citation xml:lang="ru">Прихожий А. А. Частично определенные логические системы и алгоритмы / А. А. Прихожий / Минск, БНТУ. – 2013. – 343 с.</mixed-citation><mixed-citation xml:lang="en">Prihozhy А. А. Incompletely Specified Logical Systems and Algorithms / А. А. Prihozhy / Minsk, Technical Literature. – 2013. – 343 с.</mixed-citation></citation-alternatives></ref><ref id="cit12"><label>12</label><citation-alternatives><mixed-citation xml:lang="ru">Прихожий, А. А. Обобщение разложения Шеннона для частично определенных функций: теория и применение / А. А. Прихожий / Системный анализ и прикладная информатика. – 2013, № 1–2. – С. 6–11.</mixed-citation><mixed-citation xml:lang="en">Prihozhy A.A. «Generalization of the Shannon Expansion for Incompletely Specified Functions: Theory and Application». System analysis and applied information science». 2013; (1–2): 6–11.</mixed-citation></citation-alternatives></ref><ref id="cit13"><label>13</label><citation-alternatives><mixed-citation xml:lang="ru">C. Y. Lee, Representation of Switching Circuits by Binary-Decision Programs, Bell Systems Technical Journal, 1959, Vol. 38, No 4, pp. 985–999.</mixed-citation><mixed-citation xml:lang="en">C. Y. Lee, Representation of Switching Circuits by Binary-Decision Programs, Bell Systems Technical Journal, 1959, Vol. 38, No 4, pp. 985–999.</mixed-citation></citation-alternatives></ref><ref id="cit14"><label>14</label><citation-alternatives><mixed-citation xml:lang="ru">L. Amarú, P.-E. Gaillardon, G. De Micheli. «Biconditional BDD: a novel canonical BDD for logic synthesis targeting XOR-rich circuits,» in DATE’13, 2013, pp. 1014–1017.</mixed-citation><mixed-citation xml:lang="en">L. Amarú, P.-E. Gaillardon, G. De Micheli. «Biconditional BDD: a novel canonical BDD for logic synthesis targeting XOR-rich circuits» in DATE’13, 2013, pp. 1014–1017.</mixed-citation></citation-alternatives></ref><ref id="cit15"><label>15</label><citation-alternatives><mixed-citation xml:lang="ru">A. Bernasconi et al., «On decomposing Boolean functions via extended cofactoring,» in DATE, 2009, pp. 1464–1469.</mixed-citation><mixed-citation xml:lang="en">A. Bernasconi et al., «On decomposing Boolean functions via extended cofactoring» in DATE, 2009, pp. 1464–1469.</mixed-citation></citation-alternatives></ref><ref id="cit16"><label>16</label><citation-alternatives><mixed-citation xml:lang="ru">V. Tenace, A. Calimera, E. Macii, M. Poncino. One-pass logic synthesis for graphene-based Pass-XNOR logic circuits. DAC, 2015: 128:1–128:6.</mixed-citation><mixed-citation xml:lang="en">V. Tenace, A. Calimera, E. Macii, M. Poncino. One-pass logic synthesis for graphene-based Pass-XNOR logic circuits. DAC, 2015: 128:1–128:6.</mixed-citation></citation-alternatives></ref><ref id="cit17"><label>17</label><citation-alternatives><mixed-citation xml:lang="ru">Prihozhy, A.A. If-Decision Diagram Based Synthesis of Digital Circuits / A.A. Prihozhy // Proc. Int. Conf. «Information Technologies for Education, Science and Business». – Minsk, Belarus. – 1999. – P. 65–69.</mixed-citation><mixed-citation xml:lang="en">Prihozhy, A.A. If-Decision Diagram Based Synthesis of Digital Circuits / A.A. P rihozhy // Proc. Int. Conf. «Information Technologies for Education, Science and Business». – Minsk, Belarus. – 1999. – P. 65–69.</mixed-citation></citation-alternatives></ref><ref id="cit18"><label>18</label><citation-alternatives><mixed-citation xml:lang="ru">Prihozhy, A.A. If-Decision Diagram Based Modeling and Synthesis of Incompletely Specified Digital Systems / A.A. Prihozhy, B. Becker // Electronics and communications, Electronics Design. – Kyiv. – 2005, pp. 103–108.</mixed-citation><mixed-citation xml:lang="en">Prihozhy, A.A. If-Decision Diagram Based Modeling and Synthesis of Incompletely Specified Digital Systems / A.A. Prihozhy, B. Becker // Electronics and communications, Electronics Design. – Kyiv. – 2005, pp. 103–108.</mixed-citation></citation-alternatives></ref><ref id="cit19"><label>19</label><citation-alternatives><mixed-citation xml:lang="ru">Prihozhy, A.A. Analysis, transformation and optimization for high performance parallel computing / A.A. Prihozhy // Minsk, BNTU. – 2019. – 229 p.</mixed-citation><mixed-citation xml:lang="en">Prihozhy, A.A. Analysis, transformation and optimization for high performance parallel computing / A.A. Prihozhy // Minsk, BNTU. – 2019. – 229 p.</mixed-citation></citation-alternatives></ref><ref id="cit20"><label>20</label><citation-alternatives><mixed-citation xml:lang="ru">IEEE Standard VHDL Language Reference Manual. The Institute of Electrical and Electronics Engineers, Inc. – 2000. – 299 p.</mixed-citation><mixed-citation xml:lang="en">IEEE Standard VHDL Language Reference Manual. The Institute of Electrical and Electronics Engineers, Inc. – 2000. – 299 p.</mixed-citation></citation-alternatives></ref><ref id="cit21"><label>21</label><citation-alternatives><mixed-citation xml:lang="ru">Prihozhy, A.A. High-Level Synthesis through Transforming VHDL Models / A.A. Prihozhy // Chapter in Book «Systemon-Chip Methodologies and Design Languages». – Kluwer Academic Publishers. – 2001. – P. 135–146.</mixed-citation><mixed-citation xml:lang="en">Prihozhy, A.A. High-Level Synthesis through Transforming VHDL Models / A.A. Prihozhy // Chapter in Book «Systemon-Chip Methodologies and Design Languages». – Kluwer Academic Publishers. – 2001. – P. 135–146.</mixed-citation></citation-alternatives></ref><ref id="cit22"><label>22</label><citation-alternatives><mixed-citation xml:lang="ru">Quartus Prime Lite Edition [Electronic resource]. – Access mode: https://fpgasoftware.intel.com/?edition=lite. – Date of access: 24.04.2020.</mixed-citation><mixed-citation xml:lang="en">Quartus Prime Lite Edition [Electronic resource]. – Access mode: https://fpgasoftware.intel.com/?edition=lite. – Date of access: 24.04.2020.</mixed-citation></citation-alternatives></ref></ref-list><fn-group><fn fn-type="conflict"><p>The authors declare that there are no conflicts of interest present.</p></fn></fn-group></back></article>
