Степченков Ю.А., Дьяченко Ю.Г., Хилько Д.В., Степченков Д.Ю., Дьяченко Д.Ю., Степанов Б.А. Реализация самосинхронных регистров сдвига по Verilog-описанию синхронных аналогов // Системы высокой доступности, 2025. Т. 21. № 3. С. 5−15.
DOI: https://doi.org/10.18127/j20729472-202503-05. Инд. в ядре РИНЦ, ВАК, БС К2.
Финансовая поддержка: Исследование выполнено за счет гранта Российского научного фонда № 25-19-00508, https://rscf.ru/project/25-19-00508/ / FundingAgency: The research was funded by a grant Russian Science Foundation No 25-19-00508, https://rscf.ru/en/project/25-19-00508/
Library reference: Stepchenkov Yu. A., Diachenko Yu. G., Khilko D. V., Stepchenkov D. Yu., Diachenko D. Yu., Stepanov B. A. Self-timed shift register implementation according to synchronous counterpart Verilog-description. Highly Available Systems, 2025. V. 21. № 3. P. 58−68.
Аннотация:
Постановка проблемы. Современные тенденции развития и использования цифровых схем, составляющих базис реализации вычислительных и информационно-управляющих систем, выдвигают на первый план проблему надежности их функционирования в условиях неблагоприятных воздействий, являющихся потенциальными источниками логических сбоев и отказов. Самосинхронные (СС) схемы, служащие альтернативой синхронным аналогам, обладают более высокой иммунностью к источникам логических сбоев благодаря аппаратной избыточности, двухфазной работе и обязательному контролю завершения переключения всех элементов схемы в каждую фазу. Они устойчиво функционируют в предельно широком диапазоне напряжения питания и температуры окружающей среды. Однако, несмотря на многолетнюю историю своего появления и исследования, СС-схемы пока не нашли широкого применения. Не в последнюю очередь это связано с трудностью их ручного проектирования в сравнении с синхронными аналогами и отсутствием программных средств, которые помогли бы разработчикам цифровой аппаратуры решить эту проблему. Настоящая статья направлена на решение проблемы формализации и автоматизации проектирования СС-схем и, в частности, типовых представителей последовательностных СС-схем – регистров сдвига.
Цель. Разработка метода и аппаратно-программных средств, обеспечивающих эффективный логический синтез СС-регистров сдвига на основе их исходного синхронного описания на языке Verilog, привычного для разработчиков синхронной цифровой аппаратуры.
Результаты. Предложена концепция проектирования СС-схем последовательностного типа, базирующаяся на исходном Verilog-описании синхронного аналога и обеспечивающая эффективный результат автоматизированного логического синтеза с потребительскими характеристиками, близкими к характеристикам результата ручного проектирования. Разработаны шаблоны типовых регистров сдвига, гарантирующие адекватное конвертирование описания синхронного регистра сдвига в СС-реализацию.
Практическая значимость. Использование на практике предложенного метода и разработанных шаблонов СС-регистров сдвига для автоматизированного логического синтеза СС-схем позволит облегчить и ускорить их разработку, что особенно важно для критических областей применения на современном этапе развития и внедрения цифровой технологии.
Abstract: Current trends in the development and use of digital circuits that form the basis for computing and information-control systems implementation highlight the problem of their reliable operation under adverse conditions that are potential sources of soft errors and failures. Self-timed (ST) digital circuits, which serve as an alternative to synchronous counterparts, have a higher immunity to soft error sources due to hardware redundancy, two-phase operation, ST coding of the information signals, and mandatory control of the switching completion of all circuit cells in each phase. They operate stably in an extremely wide range of supply voltage and ambient temperature. The combination of ST circuit properties makes them a promising basis for reliable digital equipment implementation. However, despite the long history of their appearance and research, ST circuits have not yet found wide application. This is due, not least of all, to the difficulty of their manual design in comparison with synchronous counterparts and the lack of software that would help digital hardware designers solve this problem. This article is aimed at solving the formalization and automation problem of the ST circuit design and, in particular, typical representatives of sequential ST circuits, namely, shift registers. The article describes the development of a method and hardware and software tools providing efficient logical synthesis of ST shift registers based on their original synchronous Verilog description. This method is familiar to developers of synchronous digital equipment. It does not require high qualification in the field of ST circuits from designers. A concept for designing sequential type ST circuits is proposed, based on the initial Verilog description of a synchronous counterpart and providing an efficient result of automated logical synthesis with consumer characteristics close to the manual design result characteristics. Templates of typical shift registers are developed and represented, guaranteeing adequate conversion of a synchronous shift register description to its ST implementation, which has all the properties of ST circuits. The practical use of the proposed method and the developed shift register templates for automated logical synthesis of ST circuits will facilitate and speed up their development, which is especially important for critical areas of application at the current stage of development and implementation of digital technology, including robotic systems and computing complexes.