TY  - BOOK
AU  - Скитев, А. А.
TI  - Верификация цифровых устройств
SN  - 9785726226965
PY  - 2020///
CY  - Москва
PB  - Национальный исследовательский ядерный университет "МИФИ"
KW  - Цифровые устройства
KW  - Отладка программ
KW  - Учебные издания для высших учебных заведений
KW  - nlr_sh2
KW  - RU\NLR\AUTH\6601618519
KW  - Тестирование
KW  - RU\NLR\AUTH\661470975
KW  - SYSTEMVERILOG, язык программирования
KW  - nlr_sh1
KW  - RU\NLR\AUTH\661416353
KW  - З972-04я73-2
KW  - З973.3-018.1я73-2
N2  - Библиогр.: с. 90 (6 назв.)
ER  -