Open Source Tools in Verification

Автор: The DV Digest

Загружено: 2025-10-10

Просмотров: 593

Описание: Will Keen from Fractile talks to us about different open-source software tools in hardware verification, why he supports the open source ecosystem, and how you can get involved.

Reach out to me on LinkedIn: https://www.linkedin.com/in/testexper...

Open source repository: https://github.com/aolofsson/awesome-...

Не удается загрузить Youtube-плеер. Проверьте блокировку Youtube в вашей сети.
Повторяем попытку...

Open Source Tools in Verification

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

Скачать видео

Информация по загрузке:

Скачать аудио

Похожие видео

Will AI Replace Verification Engineers?

Will AI Replace Verification Engineers?

Lessons From Building Arm

Lessons From Building Arm

Stop Using UVM

Надоели файлы? Вот, пожалуйста, сокеты • C • Live coding

Надоели файлы? Вот, пожалуйста, сокеты • C • Live coding

E04 - Prospeqt - Crafting the Perfect Outbound Strategy

E04 - Prospeqt - Crafting the Perfect Outbound Strategy

JetKVM - девайс для удаленного управления вашими ПК

JetKVM - девайс для удаленного управления вашими ПК

Будет ли встраиваемые системы по-прежнему привлекательной карьерой в 2026 году?

Будет ли встраиваемые системы по-прежнему привлекательной карьерой в 2026 году?

Being A Verification Engineer Is Hard

Being A Verification Engineer Is Hard

Почему рекомендации по техническим характеристикам печатных плат часто неверны.

Почему рекомендации по техническим характеристикам печатных плат часто неверны.

Как я с нуля сделал ноутбук на базе C64 — Portable 64 (эмуляция)

Как я с нуля сделал ноутбук на базе C64 — Portable 64 (эмуляция)

История C# и TypeScript с Андерсом Хейлсбергом | GitHub

История C# и TypeScript с Андерсом Хейлсбергом | GitHub

AI is Changing Verification

AI is Changing Verification

Многоуровневая архитектура — не единственный вариант.

Многоуровневая архитектура — не единственный вариант.

Технический анализ: как агенты ИИ игнорируют 40 лет прогресса в области безопасности.

Технический анализ: как агенты ИИ игнорируют 40 лет прогресса в области безопасности.

Парадокс прибыли

Парадокс прибыли

Новая Nano Banana, Claude хотят в армию, ИИ выбирает ядерный удар

Новая Nano Banana, Claude хотят в армию, ИИ выбирает ядерный удар

Искусственный интеллект может проектировать детали… но он не может сделать ЭТО.

Искусственный интеллект может проектировать детали… но он не может сделать ЭТО.

Qwen3-coder-next -- НОВЫЙ ТОП ИИ ЛОКАЛЬНО, БЕСПЛАТНО И БЕЗЛИМИТНО! CLI, сравнение кодинг агентов

Qwen3-coder-next -- НОВЫЙ ТОП ИИ ЛОКАЛЬНО, БЕСПЛАТНО И БЕЗЛИМИТНО! CLI, сравнение кодинг агентов

Why Formal Will Replace Simulation

Why Formal Will Replace Simulation

cocotb