Полное описание
> SVA: The Power of Assertions in SystemVerilog / E. Cerny [et al.]. - Cham : Springer, 2015. - on-line. - URL: https://link.springer.com/book/10.1007/978-3-319-07139-8#about. - Загл. с экрана. - ISBN 978-3-319-07139-8. - Текст : электронный.
ГРНТИ | УДК | |
50.05.09 | 004.436.2 | |
50.09.29 | 004.3'12 |
Кл.слова (ненормированные): ПРОВЕРКА -- ПРОГРАММИРОВАНИЯ ЯЗЫКИ - SYSTEMVERILOG -- УТВЕРЖДЕНИЕ НА ОСНОВЕ ВЕРИФИКАЦИИ -- ЯЗЫКИ ОПИСАНИЯ АППАРАТНЫХ СРЕДСТВ VERILOG
Доп. точки доступа:
Cerny, E.
Dudani, S.
Havlicek, J.
Korchemny, D.
https://link.springer.com/book/10.1007/978-3-319-07139-8#about
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): ???-762436)>
Шифр в сводном ЭК: 7baf815f2be646678dbe0733484a54b7
Заказ фрагмента документа ₽
Просмотр издания