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: PDF
Language: Russian
DOI: 10.5862/JCTCS.212.6
Rights: Свободный доступ из сети Интернет (чтение, печать, копирование)
Record key: RU\SPSTU\edoc\26730

Allowed Actions: Read Download (279 Kb)

Group: Anonymous

Network: Internet

Document access rights

Network User group Action
ILC SPbPU Local Network All Read Print Download
-> Internet All Read Print Download

Usage statistics

stat Access count: 618
Last 30 days: 8
Detailed usage statistics