Информация о книге

978-5-97060-619-3

Главная  » Научно-техническая литература » Информационные технологии. Компьютеры » Программирование » Другие языки программирования » Логическое проектирование и верификация систем на SystemVerilog

Томас Д.М., Логическое проектирование и верификация систем на SystemVerilog

ДМК Пресс, 2019 г., 978-5-97060-619-3


Наличие в интернет-магазинах

Магазинов: 4, Цена: от 1915 руб. посмотреть все

Описание книги

Книга посвящена SystemVerilog – языку описания аппаратуры, используемому для моделирования электронных систем. Разработчики SystemVerilog сделали его синтаксис похожим на синтаксис языка С, что упрощает его освоение. В современных подходах к...

Купить эту книгу можно в интернет-магазинах

  My-Shop - 1915 руб.   Буквоед - 3039 руб.   Читай-Город - 3039 руб.
  Страница товара выбранного интернет-магазина откроется в новом табе

Скачать, но не бесплатно эту книгу можно в интернет-магазинах

  Литрес - 849 руб.

Читать онлайн


Доступен для чтения фрагмент книги

Поделиться ссылкой на книгу



Содержание книги

Предисловие: об этой книге
Предисловие от издательства
Контекст: проектирование на уровне регистровых
передач
Благодарности
Глава 1. Введение
Часть I. МОДЕЛИ УРОВНЯ РЕГИСТРОВЫХ ПЕРЕДАЧ
Глава 2. Комбинационные схемы
Глава 3. Конечные автоматы
Глава 4. Предположение о синхронности
Часть II. АППАРАТНЫЕ ПОТОКИ
Глава 5. Аппаратные потоки (конечные автоматы с
трактом данных)
Глава 6. Интерфейсы
Часть III. ТЕСТОВЫЕ ОКРУЖЕНИЯ
Глава 7. Введение в тестовые окружения
Глава 8. Параллельные тестовые окружения
Глава 9. Утверждения и последовательности
Глава 10. Функционально покрытие
Часть IV. ДЕТАЛИ, ДЕТАЛИ, ДЕТАЛИ
Глава 11. Процедурные модели
Глава 12. Структурные модели
Глава 13. Массивы
Глава 14. Работа симулятора
Предметный указатель


Об авторе

Томас Д.М.
Популярный британский писатель, поэт, переводчик, знакомый российскому читателю по таким скандально романам, как «Белый отель», «Вкушая Павлову» и «Арарат». В родной Великобритании писатель всегда позиционировался как «аутсайдер», однако его работы единогласно признавались шедеврами литературного постмодернизма в континентальной Европе и Америке. Томас с отличием (First Graduate Honours) закончил в 1959 году Оксфордский университет по английскому языку, после чего некоторое время работал в Австралии и США, пока не вернулся в свой родной Корнуэлл. В 1950 годы Томас активно изучал русский язык, знание которого впоследствии он успешно применил в своём творчестве. В это время Томас обнаруживает в себе интерес к русской литературе, в частности к поэзии Александра Сергеевича Пушкина и Анны Ахматовой. Эта страсть писателя нашла позже отражение в его общепризнанных переводах этих поэтов, а также в серии романов, объединённых названием «Русские ночи», своеобразной дани благодарности Пушкину. В России в настоящее время переведены несколько романов Д. М. Томаса, в том числе наиболее известный его роман «Белый отель» (The White Hotel), написанный им в 1980 году — полуфантастическая драма в пяти частях-главах о русской оперной певице, страдающей фантомными болями и подвергнутой психотерапии. Тема психоанализа становится центральной и в другом переведённом на русский романе Томаса — «Вкушая Павлову» (Eating Pavlova). В нём главным героем выступает сам Зигмунд Фрейд, находящийся на смертном одре и пытающийся поделиться с невидимым собеседником своими сокровенными воспоминаниями, фобиями и потаёнными желаниям. Кроме того, в России издан роман Томаса «Арарат» — его вольная фантазия на тему героев пушкинского «Медного всадника».

Последние поступления в рубрике "Другие языки программирования"



Функциональная верификация VHDL-описаний синхронных цифровых устройств Функциональная верификация VHDL-описаний синхронных цифровых устройств Бибило П.Н.

Рассматриваются проблемы функциональной верификации проектов синхронных цифровых устройств, представленных на языке VHDL, который широко используется в качестве языка исходного описания проектов при создании электронной аппаратуры на современной......

Scala для нетерпеливых Scala для нетерпеливых Хорстман К.

Написанная для опытных программистов на Java, C++ и C#, которые желают освоить функциональное программирование или язык Scala, книга в сжатой форме знакомит с основными идеями и приемами программирования, что позволяет быстро осваивать их и применять......

R. Книга рецептов R. Книга рецептов Лонг Д.

Язык R - мощный инструмент статистического программирования, десятки тысяч людей ежедневно используют его для проведения серьезного статистического анализа. Но не все задачи, даже простые, удастся быстро решить с его помощью, если не знать......

Если Вы задавались вопросами "где найти книгу в интернете?", "где купить книгу?" и "в каком книжном интернет-магазине нужная книга стоит дешевле?", то наш сайт именно для Вас. На сайте книжной поисковой системы Книгопоиск Вы можете узнать наличие книги Томас Д.М., Логическое проектирование и верификация систем на SystemVerilog в интернет-магазинах. Также Вы можете перейти на страницу понравившегося интернет-магазина и купить книгу на сайте магазина. Учтите, что стоимость товара и его наличие в нашей поисковой системе и на сайте интернет-магазина книг может отличаться, в виду задержки обновления информации.