томас дональд логическое проектирование и верификация систем на systemverilog
Дональд Томас Логическое проектирование и верификация систем на SystemVerilog
Книга посвящена SystemVerilog - языку описания аппаратуры, используемому для моделирования электронных систем. Разработчики SystemVerilog сделали его синтаксис похожим на синтаксис языка С, что упрощает его освоение. В современных подходах к проектированию аппаратуры проверка модели (верификация) не менее важна, чем ее разработка. SystemVerilog предлагает конструкции, позволяющие лучше отразить инженерный замысел в моделях, программные абстракции, упрощающие разработку тестовых окружений, утверждения, обеспечивающие проверку поведения сложных систем, а также средства измерения функционального покрытия в процессе верификации. Описание языка дается вместе с материалом по логическому проектированию, так что книга может использоваться в качестве учебного пособия для курсов цифровой схемотехники и архитектуры компьютеров. Издание будет полезно студентам, проходящим вводный курс цифровой схемотехники, а также разработчикам, которые знакомы с Verilog или VHDL, но желают освежить свои навыки или нуждаются в кратком справочнике по SystemVerilog. Предполагается, что у читателя есть базовая подготовка в области схемотехники и программирования.
2209 Руб.
Томас Д. Логическое проектирование и верификация систем на SystemVerilog
Книга посвящена SystemVerilog - языку описания аппаратуры, используемому для моделирования электронных систем. Разработчики SystemVerilog сделали его синтаксис похожим на синтаксис языка С, что упрощает его освоение. В современных подходах к проектированию аппаратуры проверка модели (верификация) не менее важна, чем ее разработка. SystemVerilog предлагает конструкции, позволяющие лучше отразить инженерный замысел в моделях, программные абстракции, упрощающие разработку тестовых окружений, утверждения, обеспечивающие проверку поведения сложных систем, а также средства измерения функционального покрытия в процессе верификации. .Описание языка дается вместе с материалом по логическому проектированию, так что книга может использоваться в качестве учебного пособия для курсов цифровой схемотехники и архитектуры компьютеров. .Издание будет полезно студентам, проходящим вводный курс цифровой схемотехники, а также разработчикам, которые знакомы с Verilog или VHDL, но желают освежить свои навыки или нуждаются в кратком справочнике по SystemVerilog. .Предполагается, что у читателя есть базовая подготовка в области схемотехники и программирования. . .
3039 Руб.
Томас Д. Логическое проектирование и верификация систем на SystemVerilog
Книга посвящена SystemVerilog - языку описания аппаратуры, используемому для моделирования электронных систем. Разработчики SystemVerilog сделали его синтаксис похожим на синтаксис языка С, что упрощает его освоение. В современных подходах к проектированию аппаратуры проверка модели (верификация) не менее важна, чем ее разработка. SystemVerilog предлагает конструкции, позволяющие лучше отразить инженерный замысел в моделях, программные абстракции, упрощающие разработку тестовых окружений, утверждения, обеспечивающие проверку поведения сложных систем, а также средства измерения функционального покрытия в процессе верификации. .Описание языка дается вместе с материалом по логическому проектированию, так что книга может использоваться в качестве учебного пособия для курсов цифровой схемотехники и архитектуры компьютеров. .Издание будет полезно студентам, проходящим вводный курс цифровой схемотехники, а также разработчикам, которые знакомы с Verilog или VHDL, но желают освежить свои навыки или нуждаются в кратком справочнике по SystemVerilog. .Предполагается, что у читателя есть базовая подготовка в области схемотехники и программирования. . .
3039 Руб.
Бруно Фрэнк Программирование 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 Руб.
Томас Дональд Майкл Арарат
Вслед за знаменитым "Белым Отелем" Д. М. Томас написал посвященную Пушкину пенталогию "Квинтет русских ночей". "Арарат", первый роман пенталогии, построен как серия вложенных импровизаций. Всего на двухстах страницах Томас умудряется - ни единожды не опускаясь до публицистики - изложить в своей характерной манере всю парадигму отношений Востока и Запада в современную эпоху, предлагая на одном из импровизированных ее уровней свое продолжение пушкинских "Египетских ночей", причем в нескольких вариантах... Перевод: Г. Яропольский
92 Руб.
Карпов Юрий Глебович MODEL CHECKING. Верификация параллельных и распределенных программных систем (+CD)
В книге рассказывается о новых результатах в области верификации с помощью метода model checking и приводятся примеры приложений этого метода в самых разных областях. Рассматриваются проблема верификации, темпоральные логики, алгоритмы model checking для CTL и LTL, структуры Крипке как модели реагирующих систем, спецификация свойств реагирующих систем формулами темпоральной логики, бинарные решающие диаграммы, символьная верификация, количественный анализ систем и системы реального времени, а также применение фундаментальных идей алгоритма model checking в различных приложениях. На прилагаемом компакт-диске находятся: инструкция по установке системы верификации Spin, методическое пособие по этой системе и описание курсовой работы по верификации нетривиальной системы логического управления с несколькими вариантами заданий.
920 Руб.
Томас Дональд Шерлок Холмс и крест короля
Что следует предпринять аристократу, озабоченному странным поведением своего кузена, в частности его привычкой постоянно носить перчатки? Или школьной учительнице, у которой таинственным образом пропали братья - смотрители маяка? Или английской разведслужбе, нуждающейся в гениальном шефе, чтобы не потерпеть поражение в мировой войне? Или даже самому Уинстону Черчиллю, министру внутренних дел, которому бросил вызов анархистский интернационал? Конечно же, всем им можно подсказать с абсолютной уверенностью: самый короткий путь к решению проблемы ведет через дом 221-б на Бейкер-стрит, где живут небезызвестные мистер Шерлок Холмс и доктор Ватсон.
374 Руб.
Проектирование систем цифровой и смешанной обработки сигналов
Книга посвящена как теоретическим, так и прикладным аспектам создания аналого-цифровых систем обработки сигналов. Рассматриваются вопросы аналого-цифрового и цифро-аналогового преобразования, даются основы цифровой обработки сигналов, цифровой фильтрации, спектрального анализа. Отдельная глава посвящена вопросам конструирования, таким как компоновка устройства, разводка печатных плат, передача сигналов по высокоскоростным интерфейсам, сопряжение цифровых и аналоговых блоков устройства. Для инженеров и студентов радиотехнических и других смежных специальностей.
509 Руб.
Проектирование конструктивных систем перекрытий и покрытий. Монография
Изложены результаты длительных исследований взаимодействия элементов сборных железобетонных конструкций перекрытий и покрытий зданий. Представлены исследования конструктивных элементов перекрытий и покрытий. Проанализировано влияние опорных элементов на настил. Рассмотрены особенности взаимодействия несущих конструкций и совместная работа элементов покрытий.Предназначена для сотрудников научно-исследовательских и проектных организаций, а также может быть полезна обучающимся в строительном направлении.
1519 Руб.
Наваби З. Проектирование встраиваемых систем на ПЛИС
Темой данной книга является проектирование встраиваемых систем на программируемых логических интегральных схемах (ПЛИС). Издание предоставляет всю информацию, которая необходима для проектирования сложных встраиваемых систем и ядер. В первой части определяется, чем является встраиваемая система, и знание каких аспектов цифрового проектирования полезно при проектировании таких систем. Затем обсуждается язык проектирования Verilog на уровне регистровых передач и применение этого языка для RTL-моделирования и RTL-синтеза. Далее приводится описание проектирования цифровых систем, архитектуры компьютеров и разработка программной части. После рассмотрения основ показывается, как эти темы совместить вместе в проекте законченной системы с аппаратными и программными ядрами. Издание предназначено студентам старших курсов вузов, а также разработчикам аппаратуры, знакомым с основами логического проектирования и желающим заняться автоматизированным проектированием на системном уровне.
2619 Руб.
Наваби Заиналабедин Проектирование встраиваемых систем на ПЛИС
Темой данной книги является проектирование встраиваемых систем на программируемых логических интегральных схемах (ПЛИС). Издание предоставляет всю информацию, которая необходима для проектирования сложных встраиваемых систем и ядер. В первой части определяется, чем является встраиваемая система, и знание каких аспектов цифрового проектирования полезно при проектировании таких систем. Затем обсуждается язык проектирования Verilog на уровне регистровых передач и применение этого языка для RTL-моделирования и RTL-синтеза. Далее приводится описание проектирования цифровых систем, архитектуры компьютеров и разработка программной части. После рассмотрения основ показывается, как эти темы совместить вместе в проекте законченной системы с аппаратными и программными ядрами. Издание предназначено студентам старших курсов вузов, а также разработчикам аппаратуры, знакомым с основами логического проектирования и желающим заняться автоматизированным проектированием на системном уровне.
1868 Руб.
Наваби З. Проектирование встраиваемых систем на ПЛИС
Темой данной книга является проектирование встраиваемых систем на программируемых логических интегральных схемах (ПЛИС). Издание предоставляет всю информацию, которая необходима для проектирования сложных встраиваемых систем и ядер. В первой части определяется, чем является встраиваемая система, и знание каких аспектов цифрового проектирования полезно при проектировании таких систем. Затем обсуждается язык проектирования Verilog на уровне регистровых передач и применение этого языка для RTL-моделирования и RTL-синтеза. Далее приводится описание проектирования цифровых систем, архитектуры компьютеров и разработка программной части. После рассмотрения основ показывается, как эти темы совместить вместе в проекте законченной системы с аппаратными и программными ядрами. Издание предназначено студентам старших курсов вузов, а также разработчикам аппаратуры, знакомым с основами логического проектирования и желающим заняться автоматизированным проектированием на системном уровне.
2619 Руб.
Томас Дональд Майкл Белый отель
Вашему вниманию предлагается один из самых знаменитых романов современной английской литературы. Шокировавший современников откровенностью интимного содержания, моментально ставший бестселлером, вошедший в шорт-лист Букеровской премии и переведенный на тридцать языков, "Белый отель" строится как история болезни одной пациентки Зигмунда Фрейда. Прослеживая ее судьбу, роман касается самых болезненных точек нашей общей истории и вызывает у привыкшего, казалось бы, уже ко всему читателя эмоциональное потрясение. Лишь мистическим совпадением можно объяснить то, что "Белый отель" до сих пор не добрался до большого экрана - хотя интерес к его постановке в разное время проявляли Бернардо Бертолуччи и Эмир Кустурица, Дэвид Линч и Педро Альмодовар, Теренс Малик и Дэвид Кроненберг, а на главные роли заявлялись Энтони Хопкинс, Мерил Стрип, Барбра Стрейзанд, Изабелла Росселлини, Жюльет Бинош. Ну а после того, как при таинственных обстоятельствах умерли сперва актриса Бриттани Мёрфи, а затем и ее муж режиссер Саймон Монджек, затеявшие новую попытку экранизации этого произведения современной классики, стали поговаривать о "голливудском проклятии "Белого отеля""…
374 Руб.
Томас Дональд Казнь Шерлока Холмса
Давно опустевшая, предназначенная под снос Ньюгейтская тюрьма вдруг получила долгожданного узника, и это не кто иной, как Шерлок Холмс! Вступившие в сговор преступники похитили великого сыщика и заточили в мрачные стены, чтобы устроить над ним суд. Легко догадаться, каким будет результат этого судилища: по длинному коридору, куда выходят пятнадцать камер для смертников, через арку с изречением "Оставь надежду, всяк сюда входящий" приговоренного потащат во двор, где сооружен эшафот... Дональд Томас считается лучшим автором шерлокианы после Артура Конан Дойла. Почтительное и бережное отношение к канону он сочетает с глубоким знанием Викторианской и Эдвардианской эпохи. Благодаря его увлекательным книгам в мире постоянно растет число поклонников гениального детектива.
299 Руб.
Томас Дональд Майкл Белый отель
Вашему вниманию предлагается один из самых знаменитых романов современной английской литературы. Шокировавший современников откровенностью интимного содержания, моментально ставший бестселлером, вошедший в шорт-лист Букеровской премии и переведенный на тридцать языков, "Белый отель" строится как история болезни одной пациентки Зигмунда Фрейда. Прослеживая ее судьбу, роман касается самых болезненных точек нашей общей истории и вызывает у привыкшего, казалось бы, уже ко всему читателя эмоциональное потрясение. Лишь мистическим совпадением можно объяснить то, что "Белый отель" до сих пор не добрался до большого экрана - хотя интерес к его постановке в разное время проявляли Бернардо Бертолуччи и Эмир Кустурица, Дэвид Линч и Педро Альмодовар, Теренс Малик и Дэвид Кроненберг, а на главные роли заявлялись Энтони Хопкинс, Мерил Стрип, Барбра Стрейзанд, Изабелла Росселлини, Жюльет Бинош. Ну а после того, как при таинственных обстоятельствах умерли сперва актриса Бриттани Мёрфи, а затем и ее муж режиссер Саймон Монджек, затеявшие новую попытку экранизации этого произведения современной классики, стали поговаривать о "голливудском проклятии "Белого отеля""…
172 Руб.