Оптимізація дворівневої схеми автомата Мілі у базисі FPGA
DOI:
https://doi.org/10.15407/intechsys.2025.01.024Ключові слова:
автомат Мілі, синтез, FPGA, EMB, LUT, кодування станів, заміна входівАнотація
Вступ. Однією з найважливіших частин будь-якої цифрової системи є пристрій управління (ПУ), який координує взаємодію інших блоків системи. Зазвичай, схема ПУ визначається алгоритмом керування, а проєктування кожного ПУ починається від початку через унікальність алгоритму його роботи.
Від оптимальності характеристик ПУ залежить якість цифрової системи. Тому розробка ефективних методів оптимізації схем ПУ є настільки важливою. При синтезі схеми ПУ виникає ряд проблем оптимізації: зменшення площі мікросхеми ПУ, підвищення продуктивності, зниження енергоспоживання. Відомо, що вирішення першої з цих задач дає змогу покращити інші характеристики схеми.
Мета роботи. озглянути проблему і запропонувати метод зменшення площі мікросхеми при реалізації схеми ПУ з використанням мікросхем FPGA (field-programmable logic array).
Методи. Об’єктами дослідження обрано мікросхеми FPGA та модель мікропрограмного автомата (МПА) Мілі. При реалізації схеми МПА в базисі FPGA використовують табличні елементи LUT (look-up table) і вбудовані блоки пам’яті (EMB). Оскільки домінуючим виробником мікросхем FPGA є AMD Xilinx, запропонований у статті метод орієнтований на FPGA цієї компанії.
Результати. Запропоновано спосіб зниження витрат на обладнання при реалізації схеми МПА Мілі в базисі FPGA. Метод заснований на спільному використанні вбудованих блоків памяті EMB і елементів LUT. Граничним вважається випадок, коли розробник може використовувати лише один блок EMB. Для оптимізації схеми використовуються методи заміни входів автоматичних автоматів і подвійного кодування станів. Запропонований спосіб дозволяє зменшити кількість використовуваних елементів LUT до 18%. Наведено приклад застосування запропонованого методу. Показано умови доцільності використання методу.
Висновки. Проведене дослідження показало, що є сенс модифікувати запропонований метод для випадку автоматів Мура.
Посилання
Marwedel P. Embedded System Design: Embedded Systems Foundations of Cyber-Physical Systems, and the Internet of Things. Springer International Publishing, 3rd ed., 2018.
Minns P., Elliot I. FSM-based digital design using Verilog HDL. John Wiley and Sons, 2008. https://doi.org/10.1002/9780470987629
Baranov S. Finite State Machines and Algorithmic State Machines. Amazon, 2018.
Barkalov A., Titarenko L., Mielcarek K., Chmielewski S. Logic Synthesis for FPGA-Based Control Units — Structural Decomposition in Logic Design. Lecture Notes in Electrical Engineering, Springer, Berlin, 2020, Vol. 636. https://doi.org/10.1007/978-3-030-38295-7
Gazi O., Arli A. State Machines using VHDL: FPGA Implementation of Serial Communication and Display Protocols. Springer, Berlin, 2021. https://doi.org/10.1007/978-3-030-61698-4
De Micheli G. Synthesis and Optimization of Digital Circuits. McGraw-Hill, 1994.
Trimberg S. Three ages of FPGA: A retrospective on the first thirty years of FPG Atechnology. IEEE Proceedings, 2015, Vol. 103 (3), 318–331. https://doi.org/10.1109/JPROC.2015.2392104
Wolf W. FPGA-Based System Design. Prentice Hall PTR, Upper Saddle River, New Jersey, USA, 2004.
Ruiz-Rosero, Juan, Gustavo Ramirez-Gonzalez, Rahul Khanna. Field Programmable Gate Array Applications—A Scientometric Review. Computation 7, 2019, Vol. 4, 63 p. https://doi.org/10.3390/computation7040063
Maxfield C. FPGAs: Instant access. Newnes, 2008.
Xilinx. URL: https://www.amd.com/en.html [Accessed Jan. 2025]
Garcia-Vargas I., Senhadji-Navarro R., Jimnez-Moreno G., Civit-Balcells A., GuerraGutierrezz P. ROM-based finite state machines implementation in low cost FPGAs. IEEE Intern. Simp. on Industrial Electronics (ISIE’07) (Vigo, 2007), 2007, 2342–2347. https://doi.org/10.1109/ISIE.2007.4374972
Garcia-Vargas L., Senhaji-Navarro R. Finite state machines with input multiplexing: A performance study. IEEE Transactions on CAD of Integrated Circuits and Systems, 2015, Vol. 34 (5), 867–871. https://doi.org/10.1109/TCAD.2015.2406859
Sklyarov V., Skliarova I., Barkalov A., Titarenko L. Synthesis and optimization of FPGA-based systems. Berlin: Springer, 2014, 432 p. https://doi.org/10.1007/978-3-319-04708-9
Virtex-7 FPGAs. URL: https://docs.amd.com/v/u/en-US/7-series-product-selectionguide [Accessed Jan. 2025]
Czerwinski R., Kania D. Finite state machines logic synthesis for complex pro gra mmable logic devices. Berlin: Springer, 2013, 172 p. https://doi.org/10.1007/978-3-642-36166-1
Tiwari A., Tomko K. Saving power by mapping finite state machines into em bedded memory blocks in FPGAs. Proc. Design, Automation and Test in Europe Conference and Exhibition (Paris, France, 6-20 Feb. 2004), 2004, Vol. 2, 916–921. https://doi.org/10.1109/DATE.2004.1269007
Yang S. Logic synthesis and optimization benchmarks user guide. Version 3.0. Techn. Rep. Microelectronics Center of North Carolina, 1991, 43 p.
Vivado. URL: https://www.amd.com/en/products/software/adaptive-socs-and-fpgas/vivado.html [Accessed Jan. 2025]
Barkalov A. and Titarenko L. Logic synthesis for FSM-based control units. Lecture notes in electrical engineering, Springer-Verlag, Berlin, 2009, Vol. 53. https://doi.org/10.1007/978-3-642-04309-3_3
Barkalov A., Titarenko L., Kolopienczyk M., Mielcarek K., Bazydlo G. Logic synthesis for FPGA-based Finite State Machines. Studies in Systems, Decision and Control, Springer International Publishing, Cham Heidelberg, 2015, Vol. 38, 280 p. https://doi.org/10.1007/978-3-319-24202-6
Downloads
Опубліковано
Як цитувати
Номер
Розділ
Ліцензія
Авторське право (c) 2025 Information Technologies and Systems

Ця робота ліцензується відповідно до Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.
Стаття публікується на умовах відкритого доступу за ліцензією CC BY-NC-ND 4.0 - Із Зазначенням Авторства – Некомерційною – Без Похідних 4.0 Міжнародною.