Полное описание
>
Соловьев, Валерий Васильевич. Язык SystemVerilog для моделирования / В. В. Соловьев. - Москва : Горячая линия - Телеком, 2023. - 687 с. : ил. - Библиогр.: с. 660 (9 назв.). - 500 экз. - ISBN 978-5-9912-1019-5. - Текст : непосредственный.| ГРНТИ | УДК | |
| 50.05.09 | 004.436.2 | |
| 50.09.29 | 004.3-047.58 |
Рубрики:
Программирования языки -- SystemVerilog
Дискретные устройства -- Моделирование
Кл.слова (ненормированные): ВРЕМЕННЫЕ ХАРАКТЕРИСТИКИ -- ВЫРАЖЕНИЯ -- ЗАДАЧИ -- ЗАЩИТА ИСХОДНОГО КОДА -- ИНТЕРФЕЙСЫ -- КЛАССЫ -- КОНТРОЛЕРЫ -- МОДУЛИ -- ОПЕРАТОРЫ НАЗНАЧЕНИЯ -- ОПЕРАЦИИ -- ПОТОКИ -- ПРОГРАММЫ -- ПРОЦЕДУРНЫЕ ОПЕРАТОРЫ -- ПРОЦЕССЫ -- РАНДОМИЗАЦИЯ -- СИНХРОНИЗАЦИЯ МОДЕЛИРОВАНИЯ -- СИНХРОНИЗАЦИЯ ПРОЦЕССОВ -- ТИПЫ ДАННЫХ -- УТВЕРЖДЕНИЯ -- ФУНКЦИИ -- ФУНКЦИОНАЛЬНОЕ ПОКРЫТИЕ -- ЦИФРОВАЯ АППАРАТУРА
Аннотация: Рассмотрена версия популярного языка проектирования SystemVerilog, предназначенная для моделирования. Достаточно полно описаны основные синтаксические элементы и конструкции языка с точки зрения их практического использования. Каждая конструкция языка сопровождается примером. Изложение материала не привязывается к определенной элементной базе или конкретному программному средству проектирования, поэтому материал книги может использоваться при разработке проектов как на микросхемах ASIC, так и на FPGA(ПЛИС). Язык SystemVerilog полностью наследует язык Verilog и предоставляет новые возможности для разработки больших и сложных проектов на самых верхних уровнях проектирования: системном, абстрактном и уровне транзакций. Кроме того, язык SystemVerilog включает новые языковые конструкции верификации проектов, обеспечивающие новые возможности для описания тестового окружения сложного проекта. В результате получился язык с очень широкими и разнообразными возможностями, которые трудно в деталях описать в одной книге. В предлагаемой книге, в основном, описываются подмножества языка и конструкции языка SystemVerilog, которые предназначены для моделирования: классы, утверждения, функциональное покрытие, рандомизация, а также программы, блоки синхронизации, события, семафоры, почтовые ящики и многое другое. Для специалистов в области разработки цифровых систем, научных работников, аспирантов, преподавателей и студентов соответствующих специальностей, может использоваться в качестве справочника, а также пособия для самостоятельного изучения языка SystemVerilog.
Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Ж2-23/76508)>
Шифр в сводном ЭК: ed3aa302a7144a4fa1f92fa00d06babe
Соловьев, Валерий Васильевич. Основы языка проектирования цифровой аппаратуры Verilog / В. В. Соловьев, 2019. - 205 с. - Текст : непосредственный.Соловьев, Валерий Васильевич. Язык Verilog в проектировании встраиваемых систем на FPGA / В. В. Соловьев, 2020. - 439 с. - Текст : непосредственный.Соловьев, Валерий Васильевич. Проектирование функциональных блоков встраиваемых систем на FPGA / В. В. Соловьев, 2021. - 348 с. - Текст : непосредственный.Соловьев, Валерий Васильевич. Язык SystemVerilog для синтеза / В. В. Соловьев, 2022. - 439 с. - Текст : непосредственный.Соловьев, Валерий Васильевич. Основы языка проектирования цифровой аппаратуры Verilog / В. В. Соловьев, 2022. - 283 с. - Текст : непосредственный.Соловьев, Валерий Васильевич. Язык SystemVerilog для моделирования / В. В. Соловьев, 2023. - 687 с. - Текст : непосредственный.Соловьев, Валерий Васильевич. Архитектуры ПЛИС фирмы Xilinx: CPLD и FPGA 7-й серии / В. В. Соловьев, 2024. - 392 с. - Текст : непосредственный.Соловьев, Валерий Васильевич. Проектирование конечных автоматов. Теория и практика / В. В. Соловьев, 2024. - 359 с. - Текст : непосредственный.Соловьев, Валерий Васильевич. Язык Verilog в проектировании встраиваемых систем на FPGA / В. В. Соловьев, 2024. - 439 с. - Текст : непосредственный.
BASIC, 1992. - 97 с. - Текст : непосредственный.Юшин А.М. Цифровые микросхемы для электронных устройств / А. М. Юшин, 1993. - 176 c. - Текст : непосредственный.Бейсик ZX SPECTRUM / "ВА Принт", фирма (Москва), 1993. - 96 с. - Текст : непосредственный.Эпштейн М.С. Программирование на языке С : учебное пособие / М. С. Эпштейн, 2011. - 335 с. - Текст : непосредственный.Хеслоп Б. НТМL с самого начала / Б. Хеслоп, Л. Бадник, 1997. - 406 с. - Текст : непосредственный.Янг М.Дж. Microsoft Visual C++ 4 для профессионалов / М. Дж. Янг, 1997. - 702 c. - Текст : непосредственный.Емелина Е.И. Основы программирования на языке Паскаль / Е. И. Емелина, 1997. - 207 с. - Текст : непосредственный.Фальк В.Н. Теория направленных отношений и ее приложения : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : автореферат диссертации на соискание ученой степени д-ра техн. наук / В. Н. Фальк, 2001. - 40 с. - Текст : непосредственный.Панюкова Т.А. Языки и методы программирования. Создание простых GUI-приложений с помощью Visual C++ : выставочные материалы / Т. А. Панюкова, А. В. Панюков, 2013. - 140 с. - Текст : непосредственный.Килов Х.И. Фортран для БЭСМ-4 (МИФ), 1973. - 157 с. - Текст : непосредственный.Любанович Б. Простой Python. Современный стиль программирования : монография / Б. Любанович, 2017. - 476 с. - Текст : непосредственный.Фортран 77 ЕС ЭВМ / З. С. Брич, О. Н. Гулецкая, Д. В. Капилевич, 1989. - 351 с. - Текст : непосредственный.Фаронов В.В. Турбо Паскаль. Практика программирования / В. В. Фаронов, 2001. - 415 с. - Текст : непосредственный.Кармазинский А.Н. Анализ и синтез цифровых устройств / А. Н. Кармазинский, 1989. - 67 c. - Текст : непосредственный.Потапова О.Ф. Создание экспертных систем на базе ПЭВМ ЕС1840. Операторы языка пролог / О. Ф. Потапова, И. М. Птаховская, 1990. - 20 с. - Текст : непосредственный.Грабер М. Введение в SQL / М. Грабер, 2008. - 375 с. - Текст : непосредственный.БорИС.Электронные таблицы.Системы управления базами данных.Языки программирования : Изд.Ассоц.групп пользователей БОРЛАНД (БорАГ). Вып. 10, 1993. - 64 с. - Текст : непосредственный.Жешке Р. Толковый словарь стандарта языка Си : монография / Р. Жешке, 1994. - 221 c. - Текст : непосредственный.Ramm F. Microsoft BASIC PDC 7.1 : монография / F. Ramm, 1992. - XX,601 S. S. - Текст : непосредственный.Березин Б.И. Начальный курс С и С++ / Б. И. Березин, С. Б. Березин, 2007. - 288 с. - Текст : непосредственный.
Показать все результатыWilliams J. Digital vlsi design with verilog / J. Williams, 2008 r=on-line. - Текст : электронный.Fundamentals and standards in hardware description lanquages : материалы временных коллективов / Ed. J. P. Mermet, 1993. - XII,466 p. p. - Текст : непосредственный.
Mehta A.B. SystemVerilog Assertions and Functional Coverage. Guide to Language, Methodology and Applications / A. B. Mehta, 2014 r=on-line. - Текст : электронный.Алехин В.А. SistemC. Моделирование электронных систем / В. А. Алехин, 2018. - 320 с. - Текст : непосредственный.Барабанов А.В. Проектирование цифровых устройств на языках VHDL и VERILOG : учеб. пособие / А.В. Барабанов, 2015. - 167 с. - Текст : непосредственный.International Journal of Numerical Modelling: Electronic Networks, Devices and Fields. - Журнал выходит с 1988г. r=on-line. - Текст : электронный.SVA: The Power of Assertions in SystemVerilog / E. Cerny [et al.], 2015 r=on-line. - Текст : электронный.Соловьев, Валерий Васильевич. Основы языка проектирования цифровой аппаратуры Verilog / В. В. Соловьев, 2019. - 205 с. - Текст : непосредственный.Тарасов И.Е. ПЛИС Xilinx. Языки описания аппаратуры VHDL и Verilog, САПР, приемы проектирования / И. Е. Тарасов, 2019. - 538 с. - Текст : непосредственный.Венславский В.Б. Моделирование цифровых устройств : учебное пособие / В. Б. Венславский, 2018. - 162 с. - Текст : непосредственный.Spear C. Systemverilog for verification : a guide to learning the testbench language features / C. Spear, 2006 r=on-line. - Текст : электронный.Bergeron J. Writing testbenches using system verilog / J. Bergeron, 2006 r=on-line. - Текст : электронный.Поляков А.К. Языки VHDL и VERILOG в проектировании цифровой аппаратуры на ПЛИС : учеб. пособие / А. К. Поляков, 2012. - 220 с. - Текст : непосредственный.Стемпковский А.Л. Основы логического синтеза средствами САПР Synopsys с использованием Verilog HDL : Учеб. пособие / А.Л. Стемпковский, М.Ю. Семенов, 2005. - 139 с. - Текст : непосредственный.Sutherland S. Verilog and systemverilog gotchas : 101 common coding errors and how to avoid them / S. Sutherland, D. Mills, 2007 r=on-line. - Текст : электронный.Основы проектирования цифровых устройств на языке SystemC : лаб. практикум / В. Б. Васильев [и др.], 2016. - 70 с. - Текст : непосредственный.Киселев Ю.Н. Симулятор для разработки и моделирования цифровых систем : учеб. пособие / Ю. Н. Киселев, П. С. Кулясов, В. П. Зеленский, 2016. - 131 с. - Текст : непосредственный.
Показать все результаты| Лицевая сторона карточки | Обратная сторона карточки |
| Лицевая сторона карточки | Обратная сторона карточки |
| Лицевая сторона карточки | Обратная сторона карточки |
Заказ фрагмента документа ₽
