Полное описание
>
SVA: The Power of Assertions in SystemVerilog / E. Cerny [et al.]. - Electronic text data. - Cham : Springer, 2015. - 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 |
Кл.слова (ненормированные): языки описания аппаратных средств verilog -- программирования языки - systemverilog -- утверждение на основе верификации -- проверка
Доп. точки доступа:
Cerny, E.
Dudani, S.
Havlicek, J.
Korchemny, D.
>
Имеются экземпляры в отделах: всего 1 : ПНТ (1)
Свободны: ПНТ (1)
https://link.springer.com/book/10.1007/978-3-319-07139-8#about
Заказ фрагмента документа ₽
Просмотр издания