Бибило, П. Н.
    Построение компактных тестов для функциональной верификации VHDL-описаний конечных автоматов [Текст] / П. Н. Бибило, В. И. Романов // Управляющие системы и машины. - 2017. - № 1. - С. 35-45 : рис., табл. - Библиогр.: с. 44 . - ISSN 0130-5395
УДК
Рубрики: Інформатика--Моделювання--Автомати
Кл.слова (ненормовані):
цифрова апаратура -- мікропрограми -- операційний блок
Анотація: В статье разработана программа, позволяющая по полученной в результате моделирования последовательности состояний автомата строить ориентированный граф переходов автомата и находить покрытие всех дуг. Входные тестовые наборы, соответствующие дугам, вошедшим в покрытие, будут образовывать тест для функциональной верификации.


Дод.точки доступу:
Романов, В. И.

Є примірники у відділах: всього 1 : ВДЕТПСГН (1)
Вільні: ВДЕТПСГН (1)





    Петров, Александр
    УМЗЧ с высокой частотой первого полюса [Текст] / Александр Петров // Радиоаматор. - 2018. - № 3. - С. 2-5 : рис.
Рубрики: Електронна апаратура--Звукотехніка
   Відеотехніка--Звукотехніка

Кл.слова (ненормовані):
акустична система -- цифрова апаратура -- музичний сигнал -- підсилювачі
Анотація: В статье рассматриваются особенности схемотехники и способы минимизации искажений УМЗЧ с широкой полосой пропускания.


Є примірники у відділах: всього 1 : ВДЕТПСГН (1)
Вільні: ВДЕТПСГН (1)