Synteza logiczna – aktualne trendy i perspektywy

• Autorzy: Mazurkiewicz Tomasz

Identyfikatory

DOI

10.15199/59.2021.3.2

Warianty tytułu

EN

Logic synthesis – current trends and perspecitves

• Języki publikacji: PL

Abstrakty

PL

Synteza logiczna jest gałęzią nauki, która rozwija się nieprzerwanie od kilkudziesięciu lat. Pozornie można odnieść wrażenie, że ze względu na dużą dojrzałość zaproponowanych metod w zakresie tej tematyki nie dzieje się nic nowego. Jednakże ostatnie prace, publikowane również na łamach Przeglądu Telekomunikacyjnego i Wiadomości Telekomunikacyjnych, zdają się przeczyć tej tezie. W artykule przedstawiono najważniejsze – zdaniem autora – kierunki rozwoju metod syntezy logicznej. Wskazano również technologie, których rozwój w najbliższych latach najbardziej może przyczynić się do wzmożonego zainteresowania opracowaniem nowatorskich metod.

EN

Logic synthesis is a branch of science that has been developing for several decades. It is possible to get the impression that nothing new is happening in this field due to the high maturity of the already proposed methods. However, recent works, also published in this journal, seem to contradict this thesis. This article presents the most interesting directions (in the author's opinion) in the development of logic synthesis methods. Moreover, the technologies, which progress in the coming years may contribute most to the increased interest in this field, are indicated.

Słowa kluczowe

PL

synteza logiczna; przybliżona synteza logiczna; odwracalna synteza logiczna; synteza logiczna na pamięci

EN

logic synthesis; approximate logic synthesis; reversible logic synthesis; memory-based logic synthesis

• Wydawca: Wydawnictwo SIGMA-NOT
• Czasopismo: Przegląd Telekomunikacyjny + Wiadomości Telekomunikacyjne
• Rocznik: 2021
• Tom: nr 3
• Strony: 88--92
• Opis fizyczny: Bibliogr. 25 poz., rys.

Twórcy

autor

Mazurkiewicz Tomasz

• Instytut Matematyki i Kryptologii, Wydział Cybernetyki, Wojskowa Akademia Techniczna

Bibliografia

• [1] Akers S.B.: „Binary Decision Diagrams”, w: IEEE Transactions on Computers, Vol. C-27, No. 6, s. 509-516, 1978.
• [2] Andrzejczak M., W. Dudzic: „SAT attacks on ARX ciphers with automated equations generation”, w: Infocommuncations, 9(4):2-7, 2019.
• [3] Amaru L., P-E. Gaillardon, G. de Micheli: „Majority-Inverter Graph: A novel data-structure and algorithms for efficient logic optimization”, w: 51st ACM/EDAC/IEEE Design Automation Conference (DAC), 2014.
• [4] Borowik G.: Methods and algorithms of logic synthesis in data analysis and data mining, Autoreferat habilitacyjny, Wojskowa Akademia Techniczna, 2019.
• [5] Borowik G., T. Łuba: „Fast Algorithm of Attribute Reduction Based on the Complementation of Boolean Function”, w: „Advanced Methods and Applications in Computational Intelligence”, Heidelberg: Springer International Publishing, s. 25–41, 2014.
• [6] Bryant R.: „Graph Based Algorithms for Boolean Function Manipulation”, w: IEEE Transactions on Computers, Vol. C-35, No. 8, s. 677-691, 1986.
• [7] Chatterjee S.: On Algorithms for Technology Mapping, Rozprawa doktorska, Uniwersytet Kalifornijski, Berkeley, 2007.
• [8] Haaswijk W., M. Soeken, L. Amaru, P-E. Gaillardon, G. De Micheli: „A Novel Basis for Logic Rewriting”, w: 22nd Asia and South Pacific Design Automation Conference (ASP-DAC), 2017.
• [9] Halecek I., P. Fiser, J. Schmidt: „Are XORs in Logic Synthesis Really Necessary?”, w: 20th IEEE International Symposium on Design and Diagnostics of Electronic Circuits & Systems, 2017.
• [10] Kania D.: Układy logiki programowalnej – Podstawy syntezy i sposoby odwzorowania technologicznego, Wydawnictwo Naukowe PWN, 2012.
• [11] Łuba T., G. Borowik: Synteza logiczna, Oficyna Wydawnicza Politechniki Warszawskiej, 2015.
• [12] Łuba T., T. Mazurkiewicz: „Synteza generatorów indeksów metodami dekompozycji liniowej i funkcjonalnej”, w: Przegląd Telekomunikacyjny + Wiadomości Telekomunikacyjne nr 5, s. 122–128, 2018.
• [13] Łuba T., K. Poźniak, B. Zbierzchowski: „Redukcja i kompresja zmiennych w syntezie funkcji generowania indeksów”, w: Przegląd Telekomunikacyjny + Wiadomości Telekomunikacyjne nr 10, s. 1230–1236, 2016.
• [14] Mazurkiewicz T., Łuba T.: „Linear and Non-linear Decomposition of Index Generation Functions”, w: 26th International Conference Mixed Design of Integrated Circuits and Systems (MIXDES), s. 246-251, 2019.
• [15] Mazurkiewicz T.: „Computationally efficient index generation unit using a Bloom filter”, w: „Photonics Application in Astronomy, Communications, Industry, and High-Energy Physics Experiments (Proceedings Volume)”, Proc. SPIE, s. 111761L, 2019.
• [16] Mazurkiewicz T.: „Non-disjoint functional decomposition of index generation functions”, w: IEEE 50th International Symposium on Multiple-Valued Logic (ISMVL), s. 137–141, 2020.
• [17] Mazurkiewicz T.: Synteza logiczna funkcji boolowskich szczególnej postaci, Rozprawa doktorska, Wojskowa Akademia Techniczna, 2021.
• [18] Rai S. et al.: „Logic Synthesis Meets Machine Learning: Trading Exactness for Generalization”, w: Design Automation and Test in Europe (DATE), 2021.
• [19] Rawski M., P. Szotkowski: „Reversible Logic Synthesis of Boolean Functions Using Functional Decomposition”, w: 22nd International Conference Mixed Design of Integrated Circuits and Systems (MIXDES), s. 1-6, 2015.
• [20] Saeedi M., I.L. Markov: „Synthesis and optimization of reversible circuits – a survey”, w: ACM Comput. Surv. 45, 2, Art. 21, 2013.
• [21] Sasao T.: Memory-Based Logic Synthesis. 1st. Springer Publishing Company, Incorporated, 2011.
• [22]Sasao T.: Index generation functions. Synthesis lectures on digital circuits and systems. San Rafael, CA: Morgan & Claypool Publishers, 2020.
• [23] Scarabottolo I., G. Ansaloni, G.A. Constantinides, L. Pozzi, S. Reda: „Approximate Logic Synthesis: A Survey”, w: Proceedings of the IEEE, vol. 108, no. 12, s. 2195-2213, 2020.
• [24] Toffoli T.: „Reversible computing”, w: Automata, Languages and Programming, s. 632, 1980.
• [25] Berkeley Logic Synthesis and Verification Group: ABC: A System for Sequential Synthesis and Verification. https://people.eecs.berkeley. edu/~alanmi/abc/.

Uwagi

PL

Opracowanie rekordu ze środków MNiSW, umowa Nr 461252 w ramach programu "Społeczna odpowiedzialność nauki" - moduł: Popularyzacja nauki i promocja sportu (2021).