Czasopismo | PRZEGLĄD TELEKOMUNIKACYJNY - WIADOMOŚCI TELEKOMUNIKACYJNE | Rocznik 2021 - zeszyt 3

Synteza logiczna – aktualne trendy i perspektywy

Logic synthesis – current trends and perspecitves

10.15199/59.2021.3.2

Tomasz Mazurkiewicz

nr katalogowy: 132367
10.15199/59.2021.3.2

Streszczenie

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.

Abstract

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

Keywords

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/.

Jeśli masz wykupiony/przyznany dostęp - zaloguj się. Skorzystaj z naszych propozycji zakupu!

Publikacja


PRZEGLĄD TELEKOMUNIKACYJNY - WIADOMOŚCI TELEKOMUNIKACYJNE- e-publikacja (pdf) z zeszytu 2021-3 , nr katalogowy 132367 licencja: Osobista Produkt cyfrowy Nowość	10.00 zł

Zeszyt


PRZEGLĄD TELEKOMUNIKACYJNY - WIADOMOŚCI TELEKOMUNIKACYJNE- e-zeszyt (pdf) 2021-3 licencja: Osobista Produkt cyfrowy Nowość	52.00 zł

Prenumerata

PRZEGLĄD TELEKOMUNIKACYJNY - prenumerata cyfrowa
licencja: Osobista

Produkt cyfrowy
Nowość

300.00 zł

PRZEGLĄD TELEKOMUNIKACYJNY - papierowa prenumerata roczna + wysyłka
licencja: Osobista

Szczegóły pakietu

Nazwa
PRZEGLĄD TELEKOMUNIKACYJNY - papierowa prenumerata roczna	348.00 zł brutto 322.22 zł netto 25.78 zł VAT (stawka VAT 8%)
PRZEGLĄD TELEKOMUNIKACYJNY - pakowanie i wysyłka	21.00 zł brutto 17.07 zł netto 3.93 zł VAT (stawka VAT 23%)

369.00 zł

PRZEGLĄD TELEKOMUNIKACYJNY - PAKIET prenumerata PLUS
licencja: Osobista

Szczegóły pakietu

Nazwa
PRZEGLĄD TELEKOMUNIKACYJNY - PAKIET prenumerata PLUS (Prenumerata papierowa + dostęp do portalu sigma-not.pl + e-prenumerata)	450.00 zł brutto 416.67 zł netto 33.33 zł VAT (stawka VAT 8%)

450.00 zł

Zeszyt

2021-3

Twój Koszyk

Publikacja

Zeszyt

Prenumerata

Zeszyt

Czasopisma