Оптимізація дворівневої схеми автомата Мілі у базисі 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

Опубліковано

2025-06-30

Як цитувати

Баркалов , О., Тітаренко , Л., Головін, О., Матвієнко, О., & Сабурова, С. (2025). Оптимізація дворівневої схеми автомата Мілі у базисі FPGA. Information Technologies and Systems (Інформаційні технології та системи), 1(1), 24–38. https://doi.org/10.15407/intechsys.2025.01.024

Номер

Розділ

Теорія побудови інформаційних технологій та систем