Главная страница

Базы данных


- результаты поиска

Вид поиска
Российский сводный каталог по научно-технической литературе
Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>U=621.3.049.771.14-048.24<.>)
Общее количество найденных документов : 11
Показаны документы с 1 по 11
1.
621.3.049.771.14-048.24
S11

    Sachdev, M.
    Defect-oriented testing for nano-metric CMOS VLSI circuits [Electronic resource] / M. Sachdev, J. P. Gyvez. - Electronic text data. - Boston, Ma : Springer, 2007. - (Frontiers in electronic testing, ISSN 0929-1296 ; 34). - ISBN 0-387-46547-2 : Б. ц.

ГРНТИ
47.33.31
УДК
621.3.049.771.14-048.24
Рубрики: Интегральные схемы большие--Технический контроль

См. : Текст издания

Доп.точки доступа:
Gyvez, J.P.; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
2.
621.3.049.771.14-048.24
B81

    Boule, M.
    Generating hardware assertion checkers [Electronic resource] : for hardware verification, emulation, Ppst-fabrication debugging and on-line monitoring / M. Boule, Z. Zilic. - Electronic text data. - Dordrecht : Springer, 2008. - ISBN 978-1-4020-8586-4 : Б. ц.

ГРНТИ
47.33.31
УДК
621.3.049.771.14-048.24
Рубрики: Интегральные схемы большие--Верификация

См. : Текст издания

Доп.точки доступа:
Zilic, Z.; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
3.
621.3.049.77.001./M73-970481

    Mintz, M.
    Hardware verification with C++ [Electronic resource] : a practitioner's handbook / M. Mintz, R. Ekendahl. - Electronic text data. - Boston, Ma : Springer, 2006. - ISBN 0-387-25543-5 : Б. ц.

ГРНТИ
47.33.31
УДК
621.3.049.771.14-048.24
Рубрики: Интегральные схемы большие--Верификация

См. : Текст издания

Доп.точки доступа:
Ekendahl, R.; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
4.
621.3.049.771.14-048.24
M73

    Mintz, M.
    Hardware verification with systemverilog [Electronic resource] : an object-oriented framework / M. Mintz, R. Ekendahl. - Electronic text data. - Boston, Ma : Springer Science + Business Media LLC, 2007. - ISBN 978-0-387-71740-1 : Б. ц.

ГРНТИ
47.33.31
УДК
621.3.049.771.14-048.24
Рубрики: Интегральные схемы большие--Верификация

См. : Текст издания

Доп.точки доступа:
Ekendahl, R.; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
5.
621.3.049.771.14-048.24
C27

    Carter, H. B.
    Metric- driven design verification [Electronic resource] : an engineer's and executive's guide to first pass success / H. B. Carter, S. Hemmady. - Electronic text data. - Boston, Ma : Springer Science + Business Media LLC, 2007. - ISBN 978-0-387-38152-7 : Б. ц.

ГРНТИ
47.33.31
УДК
621.3.049.771.14-048.24
Рубрики: Интегральные схемы большие--Верификация

См. : Текст издания

Доп.точки доступа:
Hemmady, S.; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
6.
004.312'12/D23-094939

    DasGupta, P.
    A roadmap for formal property verification [Electronic resource] / P. DasGupta. - Electronic text data. - Dordrecht : Springer, 2006. - ISBN 978-1-4020-4758-9 : Б. ц.

ГРНТИ
47.33.31
УДК
621.3.049.771.14-048.24
Рубрики: Интегральные схемы большие--Верификация

См. : Текст издания

Доп.точки доступа:
SpringerLink (Online service)
Свободных экз. нет
Найти похожие
7.
004.415.5/B51-109641

    Bertacco, V.
    Scalable hardware verification with symbolic simulation [Electronic resource] / V. Bertacco. - Electronic text data. - Boston, Ma : Springer, 2006. - ISBN 0-387-29906-8 : Б. ц.

ГРНТИ
47.33.31
УДК
621.3.049.771.14-048.24
Рубрики: Интегральные схемы большие--Верификация

См. : Текст издания

Доп.точки доступа:
SpringerLink (Online service)
Свободных экз. нет
Найти похожие
8.
621.3.049.77-047./W66-983794

    Wiemann, A.
    Standardized functional verification [Electronic resource] / A. Wiemann. - Electronic text data. - Boston, Ma : Springer Science + Business Media LLC, 2007. - ISBN 978-0-387-71733-3 : Б. ц.

ГРНТИ
47.33.31
УДК
621.3.049.771.14-048.24
Рубрики: Интегральные схемы большие--Верификация

См. : Текст издания

Доп.точки доступа:
SpringerLink (Online service)
Свободных экз. нет
Найти похожие
9.
621.3.049.771.14-048.24
S78

    Spear, C.
    System verilog for verification [Electronic resource] : a guide to learning the testbench language features / C. Spear. - 2nd ed. - Electronic text data. - Boston, Ma : Springer Science + Business Media LLC, 2008. - ISBN 978-0-387-76530-3 : Б. ц.

ГРНТИ
47.33.31
УДК
621.3.049.771.14-048.24
Рубрики: Программирования языки--SystemVerilog
   Интегральные схемы большие--Верификация

См. : Текст издания

Доп.точки доступа:
SpringerLink (Online service)
Свободных экз. нет
Найти похожие
10.
621.3.049.77.001./V42-079867

   
    Verification methodology manual for systemverilog [Electronic resource] / J. Bergeron [et al.]. - Electronic text data. - Boston, Ma : Springer, 2006. - ISBN 0-387-25538-9 : Б. ц.

ГРНТИ
47.33.31
УДК
621.3.049.771.14-048.24
Рубрики: Интегральные схемы большие--Верификация

См. : Текст издания

Доп.точки доступа:
Bergeron, J.; Cerny, E.; Hunter, A.; Nightingale, A.; SpringerLink (Online service)
Свободных экз. нет
Найти похожие
11.
621.3.049.77-047./B45-094402

    Bergeron, J.
    Writing testbenches using system verilog [Electronic resource] / J. Bergeron. - Electronic text data. - Boston, Ma : Springer Science + Business Media Inc., 2006. - ISBN 0-387-31275-7 : Б. ц.

ГРНТИ
47.33.31
УДК
621.3.049.771.14-048.24
Рубрики: Интегральные схемы большие--Верификация

См. : Текст издания

Доп.точки доступа:
SpringerLink (Online service)
Свободных экз. нет
Найти похожие
 
Описание базы данных
Стандартный
Расширенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
Тематический навигатор
Статистика обращений
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)