PLUS участникам: На выбранные сезонные товары дополнительно -20% с кодом* 20PIGIAU826 >> 
Versatile Hardware Analysis Techniques: From Waveform-based Analysis to Formal Verification
Спецификации:
| Количество страниц: | 208 |
| Год публикации: | 2025 |
| ID товара: | 242648056 |
Больше информации
- Полная цена
-
60 мес. без процентов
От 505 € x 60 мес.
От 505 € / мес.
Калькулятор лизинга
Стоимость товара 19014 € при заключении договора на срок 60 месяцев, ежемесячный платеж - 505 €, годовая процентная ставка - 0,00%, ежемесячная плата за договор - 0.99%, плата за заключение договора - 0%, BVKKMN - 22,04%, общая сумма к оплате - 30300 €. Поставщик услуги: „AS Inbank filialas“.
Стоимость товара 19014 € при заключении договора на срок 60 месяцев, ежемесячный платеж - 505 €, годовая процентная ставка - 0,00%, ежемесячная плата за договор - 0.99%, плата за заключение договора - 0%, BVKKMN - 22,04%, общая сумма к оплате - 30300 €. Поставщик услуги: „AS Inbank filialas“.
Продавец:
000 €
000 €
249 €
269 €
299 €
349 €
Внимание! Сроки доставки являются предварительными, так как cроки обновляются в зависимости от фактического времени размещения заказа и оплаты. Окончательный срок доставки указывается продавцом после подтверждения заказа.
Продавец:
- 92% покупателей рекомендовали бы этого продавца.
Описание товара: 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 товара: | 242648056 |
| Категория: | Книги по архитектуре |
| Количество упаковок товара: | 1 шт. |
| Размеры и вес упаковки (1): | 0,241 x 0,16 x 0,017 м, 0,48 кг |
| Страна продавца: | Литва |
| Язык публикации: | Aнглийский |
| Тип обложки: | Твердый |
| Формат: | Традиционная книга |
| Тип: | Не указано |
| Продавец: | Patogupirkti Knygynas |
| Количество страниц: | 208 |
| Год публикации: | 2025 |
Больше информации
Изображения продуктов приведены исключительно в иллюстративных целях и являются примерными. Ссылки на видео в описании товара предназначены только для информационных целей, поэтому информация, которую они содержат, может отличаться от самого товара. Цвета, надписи, параметры, размеры, функции и/или любые другие характеристики оригинальных продуктов из-за их визуальных характеристик могут отличаться от реальных, поэтому, пожалуйста, ознакомьтесь со спецификациями продукта, приведенными в описании продукта.
Другие также интересовались
Партнерские предложения
Реклама
Рейтинги и отзывы (0)
Versatile Hardware Analysis Techniques: From Waveform-based Analysis to Formal Verification
Будьте первым, кто оставит отзыв!
Этот товар могут оценить только его покупатели, зарегистрированные на Pigu.lt.
Оценить товар
Вопросы и ответы (0)
Ваш вопрос успешно отправлен. На этот вопрос будет дан ответ в течение 3 рабочих дней