Соловьев, Валерий Васильевич (доктор технических наук ; род. 1956).     Основы языка проектирования цифровой аппаратуры Verilog [Text] / В. В. Соловьев. - Москва : Горячая линия —Телеком, 2014. - 205 с. : ил., табл. - ^aБиблиография: с. 193—195 (26 назв.). - ^aПредметный указатель: с. 197—200. - ISBN 978-5-9912-0353-1 : Б. ц. ГРНТИ ^a50.05.09^96 ^a47.33.31^96 УДК ^a004.312'12^v4^zrus ^a621.3.049.771.14-048.24^v4^zrus Рубрики: VERILOG (язык описания)    ПРОЕКТИРОВАНИЕ    ПРОГРАММИРУЕМЫЕ ЛОГИЧЕСКИЕ ИНТЕГРАЛЬНЫЕ СХЕМЫ    ИНТЕГРАЛЬНЫЕ СХЕМЫ    ЦИФРОВЫЕ СИСТЕМЫ    ЯЗЫКИ ОПИСАНИЯ АППАРАТНЫХ СРЕДСТВ Свободных экз. нет

Томас, Дональд.     Логическое проектирование и верификация систем в SystemVerilog [Text] : [перевод с английского] / Дональд Томас. - Москва : ДМК Пресс, 2019. - 382 с. : ил., табл. - ^aПредметный указатель: с. 374—382. - ISBN 978-5-97060-619-3 : Б. ц. ГРНТИ ^a50.05.03^v6 ^a47.14.07^v6 УДК ^a004.312'12^v4^zrus ^a621.3.049.771.14-048.24^v4^zrus ^a004.422.5^v4^zrus Рубрики: VERILOG (язык описания)    ЯЗЫКИ ОПИСАНИЯ АППАРАТНЫХ СРЕДСТВ    ЛОГИЧЕСКОЕ ПРОЕКТИРОВАНИЕ    ПРОГРАММИРУЕМЫЕ ЛОГИЧЕСКИЕ ИНТЕГРАЛЬНЫЕ СХЕМЫ    КОМБИНАЦИОННЫЕ ЛОГИЧЕСКИЕ СХЕМЫ    КОНЕЧНЫЕ АВТОМАТЫ    РЕГИСТРЫ (вычисл. техника)    ОПЕРАТОРЫ (программирование)    ПРОЦЕДУРЫ (информатика)    СТРУКТУРНЫЕ МОДЕЛИ ДАННЫХ (информатика)    ПРОГРАММИРОВАНИЕ    ВЕРИФИКАЦИЯ    ТЕСТОВЫЙ КОНТРОЛЬ (вычисл. техника)    ИНТЕГРАЛЬНЫЕ СХЕМЫ    ЦИФРОВЫЕ СИСТЕМЫ Свободных экз. нет

Соловьев, Валерий Васильевич (доктор технических наук ; род. 1956).     Язык Verilog в проектировании встраиваемых систем на FPGA [Text] / В. В. Соловьев. - Москва : Горячая линия — Телеком, 2020. - 439 с. : ил., табл. - ^aБиблиография: с. 427 (13 назв.). - ^aПредметный указатель: с. 428—432. - ISBN 978-5-9912-0844-4 : Б. ц. ГРНТИ ^a50.05.09^v6 ^a47.33.31^v6 УДК ^a004.312'12^v4^zrus ^a621.3.049.771.14-048.24^v4^zrus Рубрики: ВСТРАИВАЕМЫЕ СИСТЕМЫ (программирование)    ПРОГРАММИРУЕМЫЕ ЛОГИЧЕСКИЕ ИНТЕГРАЛЬНЫЕ СХЕМЫ    ПРОЕКТИРОВАНИЕ    ЯЗЫКИ ОПИСАНИЯ АППАРАТНЫХ СРЕДСТВ    VERILOG (язык описания)    ИНСТРУМЕНТАЛЬНЫЕ ПРОГРАММНЫЕ СРЕДСТВА    АВТОМАТИЗИРОВАННОЕ ПРОЕКТИРОВАНИЕ    КОМБИНАЦИОННЫЕ ЛОГИЧЕСКИЕ СХЕМЫ    ПОСЛЕДОВАТЕЛЬНОСТНЫЕ СХЕМЫ    ТАЙМЕРЫ    ДЕЛИТЕЛИ ЧАСТОТЫ    ГЕНЕРАТОРЫ ИМПУЛЬСОВ    АРИФМЕТИКО-ЛОГИЧЕСКИЕ УСТРОЙСТВА    СУММАТОРЫ    КОНЕЧНЫЕ АВТОМАТЫ    ОЦЕНКА ЭФФЕКТИВНОСТИ Кл.слова (ненормированные): 0 ; FPGA (ПЛИС) Свободных экз. нет

Соловьев, Валерий Васильевич (доктор технических наук ; род. 1956).     Проектирование функциональных блоков встраиваемых систем на FPGA [Text] / В. В. Соловьев. - Москва : Горячая линия — Телеком, 2020. - 348 с. : табл., ил. - ^aБиблиография: с. 336 (16 назв.). - ^aПредметный указатель: с. 337—341. - ISBN 978-5-9912-0880-2 : Б. ц. ГРНТИ ^a50.05.09^v6 ^a50.09.33^v6 ^a50.11^v6 ^a47.33.31^v6 УДК ^a004.312'12^v4^zrus ^a004.3.031.6^v4^zrus ^a621.3.049.771.14-048.24^v4^zrus Рубрики: ВСТРАИВАЕМЫЕ СИСТЕМЫ (программирование)    ПРОГРАММИРУЕМЫЕ ЛОГИЧЕСКИЕ ИНТЕГРАЛЬНЫЕ СХЕМЫ    СПЕЦИАЛИЗИРОВАННЫЕ ИНТЕГРАЛЬНЫЕ СХЕМЫ    ПРОЕКТИРОВАНИЕ    ЯЗЫКИ ОПИСАНИЯ АППАРАТНЫХ СРЕДСТВ    VERILOG (язык описания)    АРИФМЕТИКО-ЛОГИЧЕСКИЕ УСТРОЙСТВА    МИКРОПРОЦЕССОРНЫЕ АРХИТЕКТУРЫ    RISC    МИКРОПРОГРАММНЫЕ УСТРОЙСТВА УПРАВЛЕНИЯ    ЗАПОМИНАЮЩИЕ УСТРОЙСТВА    ФЛЭШ-ПАМЯТЬ    МИКРОПРОГРАММНЫЕ АВТОМАТЫ    КОНЕЧНЫЕ АВТОМАТЫ    ФАЗОВАЯ АВТОПОДСТРОЙКА ЧАСТОТЫ    ЦИФРОВЫЕ СИГНАЛЬНЫЕ ПРОЦЕССОРЫ Кл.слова (ненормированные): 0 ; FPGA (ПЛИС) Свободных экз. нет

Соловьев, Валерий Васильевич (доктор технических наук ; род. 1956).     Основы языка проектирования цифровой аппаратуры Verilog [Text] / В. В. Соловьев. - 2-е изд., [исправленное и дополненное]. - Москва : Горячая линия — Телеком, 2021. - 283 с. : ил., табл. - ^aБиблиография: с. 262—265 (39 назв.). - ^aПредметный указатель: с. 268—272. - ISBN 978-5-9912-0923-6 : Б. ц. ГРНТИ ^a50.05.09^v6 ^a47.33.31^v6 УДК ^a004.312'12^v4^zrus ^a004.436.2^v4^zrus ^a621.3.049.771.14-048.24^v4^zrus Рубрики: VERILOG (язык описания)    ЯЗЫКИ ОПИСАНИЯ АППАРАТНЫХ СРЕДСТВ    ИНСТРУМЕНТАЛЬНЫЕ ПРОГРАММНЫЕ СРЕДСТВА    ПРОГРАММНЫЕ МОДУЛИ    БИБЛИОТЕКИ (программирование)    ГРАФИЧЕСКИЕ ПРИМИТИВЫ    ТИПЫ ДАННЫХ    ЛОГИЧЕСКИЕ ОПЕРАЦИИ    ОПЕРАТОРЫ (программирование)    ТРАНСЛЯТОРЫ    ПРОГРАММИРУЕМЫЕ ЛОГИЧЕСКИЕ ИНТЕГРАЛЬНЫЕ СХЕМЫ    КОМБИНАЦИОННЫЕ ЛОГИЧЕСКИЕ СХЕМЫ    КОНЕЧНЫЕ АВТОМАТЫ    ЗАПОМИНАЮЩИЕ УСТРОЙСТВА    ПРОЕКТИРОВАНИЕ    ЭКСПЕРИМЕНТАЛЬНЫЕ ИССЛЕДОВАНИЯ Свободных экз. нет

Соловьев, Валерий Васильевич (доктор технических наук ; род. 1956).     Язык Verilog в проектировании встраиваемых систем на FPGA [Text] / В. В. Соловьев. - Москва : Горячая линия — Телеком, 2021. - 439 с. : ил., табл. - ^aБиблиография: с. 427 (13 назв.). - ^aПредметный указатель: с. 428—432. - ISBN 978-5-9912-0844-4 : Б. ц. ГРНТИ ^a50.05.09^v6 ^a47.33.31^v6 УДК ^a004.312'12^v4^zrus ^a621.3.049.771.14-048.24^v4^zrus Рубрики: ВСТРАИВАЕМЫЕ СИСТЕМЫ (программирование)    ПРОГРАММИРУЕМЫЕ ЛОГИЧЕСКИЕ ИНТЕГРАЛЬНЫЕ СХЕМЫ    ПРОЕКТИРОВАНИЕ    ЯЗЫКИ ОПИСАНИЯ АППАРАТНЫХ СРЕДСТВ    VERILOG (язык описания)    КОМБИНАЦИОННЫЕ ЛОГИЧЕСКИЕ СХЕМЫ    ПОСЛЕДОВАТЕЛЬНОСТНЫЕ СХЕМЫ    ТАЙМЕРЫ    ДЕЛИТЕЛИ ЧАСТОТЫ    ИМПУЛЬСНЫЕ ГЕНЕРАТОРЫ    АРИФМЕТИКО-ЛОГИЧЕСКИЕ УСТРОЙСТВА    СУММАТОРЫ    КОНЕЧНЫЕ АВТОМАТЫ    ОЦЕНКА ЭФФЕКТИВНОСТИ Кл.слова (ненормированные): 0 ; FPGA (ПЛИС) Свободных экз. нет

Тарасов, Илья Евгеньевич (кандидат технических наук).     ПЛИС Xilinx [Text] : языки описания аппаратуры VHDL и Verilog, САПР, приемы проектирования / И. Е. Тарасов. - Москва : Горячая линия — Телеком, 2022. - 538 с. : ил., табл. - ^aБиблиография: с. 532 (8 назв.). - ISBN 978-5-9912-0802-4 : Б. ц. ГРНТИ ^a47.33.31^v6 ^a50.09.31^v6 ^a47.14.07^v6 ^a50.51.15^v6 ^a50.41.25^v6 УДК ^a621.3.049.77.037.37:004.42^v4^zrus ^a004.312'12:621.3.049.771.14^v4^zrus ^a004.436.2^v4^zrus Рубрики: ПРОГРАММИРУЕМЫЕ ЛОГИЧЕСКИЕ ИНТЕГРАЛЬНЫЕ СХЕМЫ    ЦИФРОВЫЕ УСТРОЙСТВА    ЦИФРОВАЯ СХЕМОТЕХНИКА    АРХИТЕКТУРА ВЫЧИСЛИТЕЛЬНОЙ СИСТЕМЫ    САПР    ЯЗЫКИ ОПИСАНИЯ АППАРАТНЫХ СРЕДСТВ    КОМБИНАЦИОННЫЕ ЛОГИЧЕСКИЕ СХЕМЫ    МУЛЬТИПЛЕКСОРЫ    АРИФМЕТИЧЕСКИЕ ОПЕРАЦИИ    ТРИГГЕРЫ (электроника)    РЕГИСТРЫ (вычисл. техника)    СЧЕТЧИКИ    ДЕЛИТЕЛИ ЧАСТОТЫ    ТАЙМЕРЫ    ФЛЭШ-ПАМЯТЬ    КОНЕЧНЫЕ АВТОМАТЫ    КОНТРОЛЛЕРЫ (вычисл. техника)    ЛОГИЧЕСКОЕ ПРОЕКТИРОВАНИЕ    ОРГАНИЗАЦИЯ (процесс)    ОПТИМИЗАЦИЯ    ОТЛАДОЧНЫЕ ПЛАТЫ    ТЕХНИЧЕСКИЕ ХАРАКТЕРИСТИКИ    VERILOG (язык описания) Свободных экз. нет