Electronic Documents Search

Documents found: 2

1

Программно-аппаратный комплекс для ускорения функциональной верификации систем на кристалле // Известия высших учебных заведений. Электроника: научно-технический журнал. – 2023. – Т. 28, № 4. — С. 441-451

Creators	Солодовников А. П.; Переверзев А. Л.; Силантьев А. М.
Imprint	2023
Collection	Общая коллекция
Subjects	Вычислительная техника; Программирование ЭВМ. Компьютерные программы. Программотехника; программно-аппаратные комплексы; системы на кристаллах; верификация систем на кристаллах; функциональная верификация; эмуляторы; ПЛИС; программные интерфейсы; software-hardware complexes; systems on crystals; verification of systems on crystals; functional verification; emulators; FPGA; software interfaces
UDC	004.41/42
LBC	32.973-018
Document type	Article, report
File type	Other
Language	Russian
DOI	10.24151/1561-5405-2023-28-4-441-451
Rights	Доступ по паролю из сети Интернет (чтение)

https://www.elibrary.ru/item.asp?id=54314946

Метод построения расширенных конечных автоматов по HDL-описанию на основе статического анализа кода // Научно-технические ведомости Санкт-Петербургского государственного политехнического университета. Сер.: Информатика. Телекоммуникации. Управление: научное издание. – 2015. – № 1 (212)

Creators	Смолов Сергей Александрович; Камкин Александр Сергеевич
Organization	Министерство образования и науки Российской Федерации
Imprint	Санкт-Петербург: ПОЛИТЕХ-ПРЕСС, 2015
Collection	Общая коллекция
Subjects	Автоматов теория; Кодирование; Автоматические системы цифровые; функциональная верификация; HDL-модели
UDC	004.415.5(045); 681.51.011(045)
Document type	Article, report
File type	PDF
Language	Russian
DOI	10.5862/JCTCS.212.6
Rights	Свободный доступ из сети Интернет (чтение, печать, копирование)

pdf, 279 Kb

1