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