• ВХОД

    •  

    Полное описание

    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.09004.436.2
    50.09.29004.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



    Заказ фрагмента документа

    Просмотр издания