Покупай товары «в минус»*! Сотни товаров до -50%* ниже себестоимости  >>
1
Привет, нужна помощь?

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

0.0 (0) Вопросы и ответы (0)
Выбор:
Показать больше
Спецификации:
ID товара: 124747787
Больше информации
Только в приложении 220.lv PLUS участникам! Получи до 4x больше деньгами 220.lv!*
  • Полная цена
  • Рассрочка 0,99% (60 мес.)
    От 485 € x 60 мес.

Цена 220.lv PLUS

18290 €

Обычная цена

26129 €

Цена 220.lv PLUS

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

Заберите БЕСПЛАТНО в Pиге, в магазине (Ул. Краста 52)

10 августа
000 €

Забери в пакомате Omniva

10 августа
249 €

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

10 августа
399 €

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

Забери в пакомате Omniva

10 августа
249 €

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

10 августа
499 €

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

О праве на отказ
Продавец:
  • 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 товара: 124747787
Категория: Книги по архитектуре
Количество упаковок товара: 1 шт.
Размеры и вес упаковки (1): 0,241 x 0,16 x 0,017 м, 0,48 кг

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

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

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

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

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

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

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

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

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

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

: Jonathan Woolf Architects - London: De aedibus international 4, How to Read Buildings: A crash course in architecture, Interior Design Reference & Specification Book updated & revised: Everything Interior Designers Need to Know Every Day Revised & Updated ed, English Country House, Building from Waste: Recovered Materials in Architecture and Construction, New Nordic Houses, Verona and Lake Garda: With an Excursion to Valpolicella: Architectural Guide, Queer Spaces: An Atlas of LGBTQIAplus Places and Stories, Building Utopia: The Barbican Centre, Churches of Paris, Introduction to Architecture, London's 'Golden Mile': The Great Houses of the Strand, 1550-1650, Architectural Drawings: Hidden Masterpieces from Sir John Soane's Museum, English Cathedral, Mini-Forest Revolution: Using the Miyawaki Method to Rapidly Rewild the World