Только в приложении! Выбранные товары для интерьера и кухни -50% дополнительно с кодом* 50APP626
1
Привет, нужна помощь?

Versatile Hardware Analysis Techniques: From Waveform-based Analysis to Formal Verification

0.0 (0) Вопросы и ответы (0)
Выбор:
Показать больше
Спецификации:
ID товара: 114843459
Больше информации
Только в приложении Kaup24 PLUS участникам! Получи до 4x больше Kaup24-евро!*
  • Полная цена
  • Оплатить частями
    От 678 € x 60 мес.

Цена Kaup24 PLUS

17964 €

Обычная цена

23951 €

Цена Kaup24 PLUS

17964 €
От 678 € / мес.
Калькулятор лизинга
Продавец:
Ваш город

Kaup24 магазин в Таллинне (центр Mustika, Karjavälja 4)

20 июля
000 €

Заберите в Omniva посылочном автомате

20 июля
249 €

Доставим на дом

20 июля
399 €

Внимание! Сроки доставки являются предварительными, так как cроки обновляются в зависимости от фактического времени размещения заказа и оплаты. Окончательный срок доставки указывается продавцом после подтверждения заказа.

Заберите в Omniva посылочном автомате

20 июля
249 €

Доставим на дом

20 июля
399 €

Внимание! Сроки доставки являются предварительными, так как cроки обновляются в зависимости от фактического времени размещения заказа и оплаты. Окончательный срок доставки указывается продавцом после подтверждения заказа.

14-дневная гарантия возврата
Продавец:
  • 89% покупателей рекомендовали бы этого продавца.
Скачай приложение и получи подарок
Информация

Часто покупают вместе

Описание товара: Versatile Hardware Analysis Techniques: From Waveform-based Analysis to Formal Verification

This book describes several versatile hardware analysis techniques that tackle existing and new challenges. These techniques cover different phases of the hardware development process, including the verification, debugging, and post-synthesis optimization phases.  The authors introduce the Waveform Analysis Language (WAL), which allows users to code analysis tasks in the form of programs that run on waveforms. The book covers processor verification, formal microcode verification, programmable automated waveform analysis demonstrated for a large variety of previously manual analysis tasks, as well as netlist optimization leveraging formal methods. All methods are available as open source, typically include examples on RISC-V analysis problems, providing a strong foundation for the community. Introduces automated waveform analysis based on a DSL to execute programs on waveforms; Includes practical examples for waveform analysis including demonstrations for RISC-V processors; Presents novel approaches for processor verification, microcode verification and netlist optimization with formal methods.

Общая информация o: Versatile Hardware Analysis Techniques: From Waveform-based Analysis to Formal Verification

ID товара: 114843459
Категория: Книги по архитектуре
Количество упаковок товара: 1 шт.
Размеры и вес упаковки (1): 0,241 x 0,16 x 0,017 м, 0,48 кг

Изображения продуктов приведены исключительно в иллюстративных целях и являются примерными. Ссылки на видео в описании товара предназначены только для информационных целей, поэтому информация, которую они содержат, может отличаться от самого товара. Цвета, надписи, параметры, размеры, функции и/или любые другие характеристики оригинальных продуктов из-за их визуальных характеристик могут отличаться от реальных, поэтому, пожалуйста, ознакомьтесь со спецификациями продукта, приведенными в описании продукта.

Другие также интересовались
Партнерские предложения
Реклама

Рейтинги и отзывы (0)

Versatile Hardware Analysis Techniques: From Waveform-based Analysis to Formal Verification
Будьте первым, кто оставит отзыв!
Этот товар могут оценить только его покупатели, зарегистрированные на Kaup24.ee.
Оценить товар

Вопросы и ответы (0)

Спросите об этом товаре у других покупателей!
Задать вопрос
Ваш вопрос успешно отправлен. На этот вопрос будет дан ответ в течение 3 рабочих дней
Вопрос должен состоять не менее чем из 10 символов
Подать вопрос Отменить

Рекомендуем вместе с: Versatile Hardware Analysis Techniques: From Waveform-based Analysis to Formal Verification

Лучшие товары от Patogupirkti

Продолжить покупки

Книги по архитектуре

: Jim Olson: Building * Nature * Art, Hygge kodu, Complete Book of Framing: An Illustrated Guide for Residential Construction 2nd Edition - Updated and Expanded, Aeropolis - Queering Air in Toxicpolluted Worlds, Peter Womersley, British Football's Greatest Grounds: One Hundred Must-See Football Venues, Design Studio Vol. 5: Experimental Realism: (Design) Fictions and Futures 2022, Architecture of British Seaside Piers, Georgia O'Keeffe and Her Houses: Ghost Ranch and Abiquiu: Ghost Ranch and Abiquiu, Missing Middle Housing: Thinking Big and Building Small to Respond to Todays Housing Crisis, Cabin Fever: Enchanting Cabins, Shacks, and Hideaways, Shopfronts of London: In praise of small neighbourhood shops, Ibiza Interiors, Compound Polyhedra: Modular Origam, Natural Refrigerants: Applications and Practical Guidelines