томас д логическое проектирование и верификация систем на systemverilog
Томас Д. Логическое проектирование и верификация систем на SystemVerilog
Книга посвящена SystemVerilog - языку описания аппаратуры, используемому для моделирования электронных систем. Разработчики SystemVerilog сделали его синтаксис похожим на синтаксис языка С, что упрощает его освоение. В современных подходах к проектированию аппаратуры проверка модели (верификация) не менее важна, чем ее разработка. SystemVerilog предлагает конструкции, позволяющие лучше отразить инженерный замысел в моделях, программные абстракции, упрощающие разработку тестовых окружений, утверждения, обеспечивающие проверку поведения сложных систем, а также средства измерения функционального покрытия в процессе верификации. .Описание языка дается вместе с материалом по логическому проектированию, так что книга может использоваться в качестве учебного пособия для курсов цифровой схемотехники и архитектуры компьютеров. .Издание будет полезно студентам, проходящим вводный курс цифровой схемотехники, а также разработчикам, которые знакомы с Verilog или VHDL, но желают освежить свои навыки или нуждаются в кратком справочнике по SystemVerilog. .Предполагается, что у читателя есть базовая подготовка в области схемотехники и программирования. . .
3039 Руб.
Томас Д. Логическое проектирование и верификация систем на SystemVerilog
Книга посвящена SystemVerilog - языку описания аппаратуры, используемому для моделирования электронных систем. Разработчики SystemVerilog сделали его синтаксис похожим на синтаксис языка С, что упрощает его освоение. В современных подходах к проектированию аппаратуры проверка модели (верификация) не менее важна, чем ее разработка. SystemVerilog предлагает конструкции, позволяющие лучше отразить инженерный замысел в моделях, программные абстракции, упрощающие разработку тестовых окружений, утверждения, обеспечивающие проверку поведения сложных систем, а также средства измерения функционального покрытия в процессе верификации. .Описание языка дается вместе с материалом по логическому проектированию, так что книга может использоваться в качестве учебного пособия для курсов цифровой схемотехники и архитектуры компьютеров. .Издание будет полезно студентам, проходящим вводный курс цифровой схемотехники, а также разработчикам, которые знакомы с Verilog или VHDL, но желают освежить свои навыки или нуждаются в кратком справочнике по SystemVerilog. .Предполагается, что у читателя есть базовая подготовка в области схемотехники и программирования. . .
3039 Руб.
Дональд Томас Логическое проектирование и верификация систем на SystemVerilog
Книга посвящена SystemVerilog - языку описания аппаратуры, используемому для моделирования электронных систем. Разработчики SystemVerilog сделали его синтаксис похожим на синтаксис языка С, что упрощает его освоение. В современных подходах к проектированию аппаратуры проверка модели (верификация) не менее важна, чем ее разработка. SystemVerilog предлагает конструкции, позволяющие лучше отразить инженерный замысел в моделях, программные абстракции, упрощающие разработку тестовых окружений, утверждения, обеспечивающие проверку поведения сложных систем, а также средства измерения функционального покрытия в процессе верификации. Описание языка дается вместе с материалом по логическому проектированию, так что книга может использоваться в качестве учебного пособия для курсов цифровой схемотехники и архитектуры компьютеров. Издание будет полезно студентам, проходящим вводный курс цифровой схемотехники, а также разработчикам, которые знакомы с Verilog или VHDL, но желают освежить свои навыки или нуждаются в кратком справочнике по SystemVerilog. Предполагается, что у читателя есть базовая подготовка в области схемотехники и программирования.
2209 Руб.
Бруно Фрэнк Программирование FPGA для начинающих
FPGA (Field-Programmable Gate Array, программируемые пользователем вентильные матрицы, ПЛИС) в настоящее время стали основной частью большинства современных электронных и компьютерных систем. Чтобы реализовать свои идеи на основе FPGA, вам необходимо разобраться в их архитектуре, освоить набор инструментов разработки и изучить их важнейшие конструктивные особенности. Эта книга проведет вас через весь процесс программирования FPGA и проектирования аппаратных схем с помощью SystemVerilog. Вы познакомитесь с архитектурами FPGA от компании Xilinx и создадите свой первый проект, представляющий собой переключение светодиодов. Затем вы узнаете о том, как создавать проекты на SystemVerilog, освоите применение комбинационной логики, создадите калькулятор и усовершенствуете его с использованием ресурсов FPGA. Вы изучите передовые концепции интерфейса AXI и подключите к плате клавиатуру с помощью интерфейса PS/2. В финальном проекте вы объедините все учебные примеры, приведенные в книге, и создадите унифицированную подсистему вывода с использованием контроллера Video Graphics Array (VGA). К концу чтения вы научитесь работать с FPGA и сможете проектировать аппаратные схемы и платы с помощью программирования на SystemVerilog. Издание предназначено для начинающих разработчиков встраиваемых систем, инженеров и программистов, которые хотят изучить программирование FPGA от компании Xilinx и основы языка SystemVerilog с нуля. Разработчики на FPGA, желающие получить практический опыт работы над реальными проектами, также найдут эту книгу полезной.
2038 Руб.
Гецци Карло, Джазайери Мехди, Мандриоли Дино Основы инженерии программного обеспечения
Изложены основные вопросы инженерии программного обеспечения, ее принципы. Рассмотрены проектирование, архитектура и процесс производства программного обеспечения, верификация, а также инструментальные средства поддержки разработки и программные среды. Книга содержит 400 упражнений и 20 примеров реальных проектов разработки программного обеспечения для промышленности, экономики, юриспруденции, образования и тому подобного, показывающих способы решения проблем, с которыми разработчики могут столкнуться на практике. Преподаватели вузов найдут здесь интересные идеи построения учебных курсов. 2-е издание.
450 Руб.
Карпов Юрий Глебович MODEL CHECKING. Верификация параллельных и распределенных программных систем (+CD)
В книге рассказывается о новых результатах в области верификации с помощью метода model checking и приводятся примеры приложений этого метода в самых разных областях. Рассматриваются проблема верификации, темпоральные логики, алгоритмы model checking для CTL и LTL, структуры Крипке как модели реагирующих систем, спецификация свойств реагирующих систем формулами темпоральной логики, бинарные решающие диаграммы, символьная верификация, количественный анализ систем и системы реального времени, а также применение фундаментальных идей алгоритма model checking в различных приложениях. На прилагаемом компакт-диске находятся: инструкция по установке системы верификации Spin, методическое пособие по этой системе и описание курсовой работы по верификации нетривиальной системы логического управления с несколькими вариантами заданий.
920 Руб.
Проектирование систем цифровой и смешанной обработки сигналов
Книга посвящена как теоретическим, так и прикладным аспектам создания аналого-цифровых систем обработки сигналов. Рассматриваются вопросы аналого-цифрового и цифро-аналогового преобразования, даются основы цифровой обработки сигналов, цифровой фильтрации, спектрального анализа. Отдельная глава посвящена вопросам конструирования, таким как компоновка устройства, разводка печатных плат, передача сигналов по высокоскоростным интерфейсам, сопряжение цифровых и аналоговых блоков устройства. Для инженеров и студентов радиотехнических и других смежных специальностей.
509 Руб.
Проектирование конструктивных систем перекрытий и покрытий. Монография
Изложены результаты длительных исследований взаимодействия элементов сборных железобетонных конструкций перекрытий и покрытий зданий. Представлены исследования конструктивных элементов перекрытий и покрытий. Проанализировано влияние опорных элементов на настил. Рассмотрены особенности взаимодействия несущих конструкций и совместная работа элементов покрытий.Предназначена для сотрудников научно-исследовательских и проектных организаций, а также может быть полезна обучающимся в строительном направлении.
1519 Руб.
Наваби З. Проектирование встраиваемых систем на ПЛИС
Темой данной книга является проектирование встраиваемых систем на программируемых логических интегральных схемах (ПЛИС). Издание предоставляет всю информацию, которая необходима для проектирования сложных встраиваемых систем и ядер. В первой части определяется, чем является встраиваемая система, и знание каких аспектов цифрового проектирования полезно при проектировании таких систем. Затем обсуждается язык проектирования Verilog на уровне регистровых передач и применение этого языка для RTL-моделирования и RTL-синтеза. Далее приводится описание проектирования цифровых систем, архитектуры компьютеров и разработка программной части. После рассмотрения основ показывается, как эти темы совместить вместе в проекте законченной системы с аппаратными и программными ядрами. Издание предназначено студентам старших курсов вузов, а также разработчикам аппаратуры, знакомым с основами логического проектирования и желающим заняться автоматизированным проектированием на системном уровне.
2619 Руб.
Наваби Заиналабедин Проектирование встраиваемых систем на ПЛИС
Темой данной книги является проектирование встраиваемых систем на программируемых логических интегральных схемах (ПЛИС). Издание предоставляет всю информацию, которая необходима для проектирования сложных встраиваемых систем и ядер. В первой части определяется, чем является встраиваемая система, и знание каких аспектов цифрового проектирования полезно при проектировании таких систем. Затем обсуждается язык проектирования Verilog на уровне регистровых передач и применение этого языка для RTL-моделирования и RTL-синтеза. Далее приводится описание проектирования цифровых систем, архитектуры компьютеров и разработка программной части. После рассмотрения основ показывается, как эти темы совместить вместе в проекте законченной системы с аппаратными и программными ядрами. Издание предназначено студентам старших курсов вузов, а также разработчикам аппаратуры, знакомым с основами логического проектирования и желающим заняться автоматизированным проектированием на системном уровне.
1868 Руб.
Наваби З. Проектирование встраиваемых систем на ПЛИС
Темой данной книга является проектирование встраиваемых систем на программируемых логических интегральных схемах (ПЛИС). Издание предоставляет всю информацию, которая необходима для проектирования сложных встраиваемых систем и ядер. В первой части определяется, чем является встраиваемая система, и знание каких аспектов цифрового проектирования полезно при проектировании таких систем. Затем обсуждается язык проектирования Verilog на уровне регистровых передач и применение этого языка для RTL-моделирования и RTL-синтеза. Далее приводится описание проектирования цифровых систем, архитектуры компьютеров и разработка программной части. После рассмотрения основ показывается, как эти темы совместить вместе в проекте законченной системы с аппаратными и программными ядрами. Издание предназначено студентам старших курсов вузов, а также разработчикам аппаратуры, знакомым с основами логического проектирования и желающим заняться автоматизированным проектированием на системном уровне.
2619 Руб.
Ослэндер Д. М., Риджли Дж. Р., Ринггенберг Дж. Д. Управляющие программы для механических систем. Объектно-ориентированное проектирование систем
Книга посвящена вопросам создания программного обеспечения роботоподобных систем управления. Рассмотрена структура программного обеспечения и возможности его унификации с целью сокращения времени проектирования и уменьшения затрат на его создание. Учитывая, что в процессе проектирования программное обеспечение проходит несколько стадий (моделирование, лабораторные испытания, испытания опытного образца и т. д.), особое внимание уделяется переносимости разработанного кода в различные среды выполнения. Рассмотрены также вопросы безопасности выполнения управляющего кода. Для студентов технических вузов и специалистов по проектированию роботоподобных систем управления.
369 Руб.
Тепловая завеса Тепломаш КЭВ-5П1151Е полированная нержавеющая сталь с гранями
Компания "Прайм" осуществляет полный цикл услуг: проектирование, поставка, монтаж, ввод в эксплуатацию и последующее сервисное обслуживание систем кондиционирования, вентиляции и отопления. Офис в г. Москва: ул. Авиамоторная, д.50, стр.2, пом. XIV к. 12 оф 2. Пн - Пт с 9.00 до 19.00
16220 Руб.
Тепловая завеса Тепломаш КЭВ-10П1061Е полированная нержавеющая сталь с гранями
Компания "Прайм" осуществляет полный цикл услуг: проектирование, поставка, монтаж, ввод в эксплуатацию и последующее сервисное обслуживание систем кондиционирования, вентиляции и отопления. Офис в г. Москва: ул. Авиамоторная, д.50, стр.2, пом. XIV к. 12 оф 2. Пн - Пт с 9.00 до 19.00
35560 Руб.
Тепломаш КЭВ-18П3091E электрическая тепловая завеса
Компания "Прайм" осуществляет полный цикл услуг: проектирование, поставка, монтаж, ввод в эксплуатацию и последующее сервисное обслуживание систем кондиционирования, вентиляции и отопления. Офис в г. Москва: ул. Авиамоторная, д.50, стр.2, пом. XIV к. 12 оф 2. Пн - Пт с 9.00 до 19.00
69138 Руб.
Тепловая завеса Тепломаш КЭВ-190П5141W белый
Компания "Прайм" осуществляет полный цикл услуг: проектирование, поставка, монтаж, ввод в эксплуатацию и последующее сервисное обслуживание систем кондиционирования, вентиляции и отопления. Офис в г. Москва: ул. Авиамоторная, д.50, стр.2, пом. XIV к. 12 оф 2. Пн - Пт с 9.00 до 19.00
166770 Руб.