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

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

цена 1 681 руб.
Перейти в интернет-магазин
купить в магазине Буквоед г. Санкт-Петербург
Книга посвящена SystemVerilog – языку описания аппаратуры, используемому для моделирования электронных систем. Разработчики SystemVerilog сделали его синтаксис похожим на синтаксис языка С, что упрощает его освоение. В современных подходах к проектированию аппаратуры проверка модели (верификация) не менее важна, чем ее разработка. SystemVerilog предлагает конструкции, позволяющие лучше отразить инженерный замысел в моделях, программные абстракции, упрощающие разработку тестовых окружений, утверждения, обеспечивающие проверку поведения сложных систем, а также средства измерения функционального покрытия в процессе верификации • Описание языка дается вместе с материалом по логическому проектированию, так что книга может использоваться в качестве учебного пособия для курсов цифровой схемотехники и архитектуры компьютеров подробнее
Смотрите также
Книга посвящена SystemVerilog – языку описания аппаратуры, используемому для моделирования электронных систем. Разработчики SystemVerilog сделали его синтаксис похожим на синтаксис языка С, что упрощает его освоение. В современных подходах к проектированию аппаратуры проверка модели (верификация) не менее важна, чем ее разработка. SystemVerilog предлагает конструкции, позволяющие лучше отразить инженерный замысел в моделях, программные абстракции, упрощающие разработку тестовых окружений, утверждения, обеспечивающие проверку поведения сложных систем, а также средства измерения функционального покрытия в процессе верификации • Описание языка дается вместе с материалом по логическому проектированию, так что книга может использоваться в качестве учебного пособия для курсов цифровой схемотехники и архитектуры компьютеров
My-shop.ru г. Москва
1 506 руб.
Темой данной книги является проектирование встраиваемых систем на программируемых логических интегральных схемах (ПЛИС). Издание предоставляет всю информацию, которая необходима для проектирования сложных встраиваемых систем и ядер. В первой части определяется, чем является встраиваемая система, и знание каких аспектов цифрового проектирования полезно при проектировании таких систем. Затем обсуждается язык проектирования Verilog на уровне регистровых передач и применение этого языка для RTL-моделирования и RTL-синтеза. Далее приводится описание проектирования цифровых систем, архитектуры компьютеров и разработка программной части. После рассмотрения основ показывается, как эти темы совместить вместе в проекте законченной системы с аппаратными и программными ядрами
My-shop.ru г. Москва
1 088 руб.
Темой данной книги является проектирование встраиваемых систем на программируемых логических интегральных схемах (ПЛИС). Издание предоставляет всю информацию, которая необходима для проектирования сложных встраиваемых систем и ядер. В первой части определяется, чем является встраиваемая система, и знание каких аспектов цифрового проектирования полезно при проектировании таких систем. Затем обсуждается язык проектирования Verilog на уровне регистровых передач и применение этого языка для RTL-моделирования и RTL-синтеза. Далее приводится описание проектирования цифровых систем, архитектуры компьютеров и разработка программной части. После рассмотрения основ показывается, как эти темы совместить вместе в проекте законченной системы с аппаратными и программными ядрами
Буквоед г. Москва (пункт выдачи заказов)
1 176 руб.
Учебник разработан в ссответствии с программой курса "Проектирование товаропроводящих систем в торговле на основе логистики". В нем изложены сущность и задачи проектирования товаропроводящих систем на основе концепции логистики. Рассмотрены вопросы проектирования систем управления запасами, проектирование и организация складирования, транспортирования и логистического обслуживания в звеньях товародвижения. Для студентов учебных заведений высшего и среднего профессионального образования, изучивших основы логистики, аспирантов и преподавателей, а также работников служб логистики и служб, сопряженных с логистикой, организаций торговли и производства
Буквоед г. Москва (пункт выдачи заказов)
378 руб.
Предлагается использовать продукционно-фреймовую модель представления знаний для управления процессами логического проектирования дискретных устройств. Маршруты проектирования описываются в виде стратегий, представляющих собой совокупности продукций вида "если - то". Приводится большое число примеров иерархически организованных стратегий, описывающих комбинированные маршруты технологически независимой оптимизации, синтеза и верификации проектов логических схем. Предложенная модель представления знаний положена в основу системы автоматизированного логического проектирования функциональных блоков цифровых сверхбольших интегральных схем. Эксперименты и практика проектирования показали, что совместное использование разработанной системы и промышленных систем проектирования позволяет эффективнее решать задачи синтеза логических схем в различных технологических базисах
My-shop.ru г. Москва
546 руб.
В учебном пособии излагаются основы проектирования автоматизированных систем управления (АСУ) в TRACE MODE. Подробно описаны возможности системы, языки программирования, программируемые логические контроллеры (ПЛК). Для закрепления теоретического материала предлагаются шесть лабораторных работ, которые позволяют студентам изучить работу SCADA–системы TRACE MODE, получить навыки создания статического и динамического изображения, производить программную обработку на языках программирования среды TRACE MODE, подключать ПЛК и разрабатывать АСУ. Для самоподготовки по каждой теме приводятся контрольные вопросы • Учебное пособие предназначено для обучающихся по программам высшего образования по направлениям подготовки «Информатика и вычислительная техника», «Автоматизация технологических процессов и производств», «Системный анализ и управление», «Управление в технических системах», «Информатика и вычислительная техника», «Автоматизация технологических процессов и производств», «Системный анализ и управление», «Управление в технических системах»
My-shop.ru г. Москва
1 166 руб.
Учебное пособие по дисциплине «Проектирование информационных систем» предназначено для студентов, обучающихся по направлению «Прикладная информатика». В пособии раскрываются основы проектирования экономических информационных систем на различных стадиях жизненного цикла. Рассматриваются методы и средства канонического проектирования экономических информационных систем и их развитие в современных условиях, а также организация и управление процессом проектирования. В учебном пособии также отражены теоретические основы построения корпоративных информационных систем (КИС), описана методология структурного анализа и проектирования корпоративных информационных систем, рассмотрены стандарты моделирования КИС (SADT, UML). Также пособие содержит классификацию промышленных корпоративных информационных систем
My-shop.ru г. Москва
1 731 руб.
В монографии изложены теория проектирования информационных систем. Приведены практические методы использования современных технологий проектирования информационных систем, выбора методов и средств проектирования, основанных на использовании CASE-средств • Приводятся краткие сведения об использовании методов моделирования предметной области в стандарте IDEF0 и IDEF3, и метода построения моделей данных и базы данных в стандарте IDEF1X, объединенных в единую методологию структурного подхода к проектированию информационных систем • Монография может быть полезна опытным специалистам в области информационных технологий, например, системным аналитикам или проектировщикам, прикладным программистам, разработчикам баз данных, а также всем тем, кто занимается самообразованием в области проектирования сложных программных продуктов, а также студентам высших учебных заведений, аспирантам и научным сотрудникам, обучающимся и ведущим научные исследования в области проектирования информационных систем по укрупнённой группе направлений подготовки «Информатика и вычислительная техника»
My-shop.ru г. Москва
1 309 руб.
Учебное пособие предназначено для студентов, обучающихся по программе подготовки специалистов среднего звена по специальности «Прикладная информатика (по отраслям)». Оно охватывает многие разделы дисциплин, входящих в программы подготовки специалистов среднего звена базовой и углубленной подготовки учебного цикла ПМ.00 «Профессиональные модули» • В пособии раскрываются основы проектирования экономических информационных систем на различных стадиях жизненного цикла. Рассматриваются методы и средства канонического проектирования экономических информационных систем и их развитие в современных условиях, а также организация и управление процессом проектирования, процессы сопровождения и развития информационных систем • В учебном пособии также отражены теоретические основы построения корпоративных информационных систем (КИС), описана методология структурного анализа и проектирования корпоративных информационных систем, рассмотрены стандарты моделирования КИС (SADT, UML)
My-shop.ru г. Москва
1 499 руб.
Пособие рассчитано на студентов, обучающихся по направлению 230100 "Информатика и вычислительная техника", специальностей 230201 "Информационные системы и технологии", направлениям 230400 "Информационные системы и технологии", 220400 "Управление в технических системах" • Пособие предназначено для получения практических навыков при изучении дисциплин: "Управление данными", "Технологии обработки информации", "Инструментальные средства информационных систем", "Методы и средства проектирования информационных систем и технологий". Также может быть использовано при изучении дисциплин: "Проектирование программного обеспечения автоматизированных систем обработки информации и управления", "Проектирование информационных систем", "Базы данных" • Для студентов учреждений высшего профессионального образования
My-shop.ru г. Москва
446 руб.
Учебное пособие содержит материалы, которые дополняют присутствующую на российском книжном рынке учебную литературу, предназначенную для использования в вузе при изучении дисциплин «Проектирование автоматизированных систем обработки информации и управления», «Проектирование информационных систем», «Корпоративные информационные системы» по программам бакалавриата. Рассмотрены методические и технологические вопросы по конкретным типам проектных решений, являющихся основными компонентами в процессе проектирования автоматизированных систем. Отдельные проектные решения проиллюстрированы примерами. Особое внимание уделено практическим аспектам проектных решений: рекомендациям для формирования требований пользователей к проектируемой системе, проектированию нормативно-справочной информации, форм входных и выходных документов, оценке готовых пакетов прикладных программ функционального назначения и другим вопросам
My-shop.ru г. Москва
1 237 руб.
Compare-Price.ru - сравнение цен интернет-магазинов. Просто выбрать. Легко купить.