Details
Title | Метод построения расширенных конечных автоматов по HDL-описанию на основе статического анализа кода // Научно-технические ведомости Санкт-Петербургского государственного политехнического университета. Сер.: Информатика. Телекоммуникации. Управление: научное издание. – 2015. – |
---|---|
Creators | Смолов Сергей Александрович; Камкин Александр Сергеевич |
Organization | Министерство образования и науки Российской Федерации |
Imprint | Санкт-Петербург: ПОЛИТЕХ-ПРЕСС, 2015 |
Collection | Общая коллекция |
Subjects | Автоматов теория; Кодирование; Автоматические системы цифровые; функциональная верификация; HDL-модели |
UDC | 004.415.5(045); 681.51.011(045) |
Document type | Article, report |
File type | |
Language | Russian |
DOI | 10.5862/JCTCS.212.6 |
Rights | Свободный доступ из сети Интернет (чтение, печать, копирование) |
Record key | RU\SPSTU\edoc\26730 |
Record create date | 5/22/2015 |
Access count: 657
Last 30 days: 7