Hunting down corner-case bugs in RISC-V processors using formal verification

Поделиться
HTML-код
  • Опубликовано: 17 янв 2024
  • This talk was given by Dr. Ashish Darbari in the event Nerds talking to Nerds hosted by Tenstorrent Inc. in Bengaluru, India in 2023.
  • НаукаНаука

Комментарии •

Следующие
Автовоспроизведение
RISC-V 2024 Update: RISE, AI Accelerators & More14:03RISC-V 2024 Update: RISE, AI Accelerators & More
RISC-V 2024 Update: RISE, AI Accelerators & MoreExplainingComputers
Просмотров 83 тыс.
RISC vs CISC Computer Architectures (David Patterson) | AI Podcast Clips with Lex Fridman23:19RISC vs CISC Computer Architectures (David Patterson) | AI Podcast Clips with Lex Fridman
RISC vs CISC Computer Architectures (David Patterson) | AI Podcast Clips with Lex FridmanLex Clips
Просмотров 82 тыс.
Taming the Beast: RISC-V Formal Verification Made Easy30:35Taming the Beast: RISC-V Formal Verification Made Easy
Taming the Beast: RISC-V Formal Verification Made EasyAxiomise Formal Verification Channel
Просмотров 9 тыс.
The Problem with Wind Energy16:47The Problem with Wind Energy
The Problem with Wind EnergyReal Engineering
Просмотров 1,1 млн
Quick Tips For All 28 NEW Elden Ring DLC Incantations27:03Quick Tips For All 28 NEW Elden Ring DLC Incantations
Quick Tips For All 28 NEW Elden Ring DLC IncantationsRusty.
Просмотров 240 тыс.
KISS OF LIFE (키스오브라이프) 'Sticky' Official Music Video03:12KISS OF LIFE (키스오브라이프) 'Sticky' Official Music Video
KISS OF LIFE (키스오브라이프) 'Sticky' Official Music VideoKISS OF LIFE
Просмотров 3,2 млн
We're Back to Cabin Life!29:50We're Back to Cabin Life!
We're Back to Cabin Life!Eamon & Bec
Просмотров 533 тыс.
Formal property verification demo session 25May2023 (Synopsys VC Formal flow)42:22Formal property verification demo session 25May2023 (Synopsys VC Formal flow)
Formal property verification demo session 25May2023 (Synopsys VC Formal flow)VLSIGuru - Best VLSI Training Institute
Просмотров 2,1 тыс.
Revolutionize AI Computing with Analog In-Memory Processing23:11Revolutionize AI Computing with Analog In-Memory Processing
Revolutionize AI Computing with Analog In-Memory ProcessingJonah McLeod
Просмотров 48
Arm vs RISC-V? Which One Is The Most Efficient?17:12Arm vs RISC-V? Which One Is The Most Efficient?
Arm vs RISC-V? Which One Is The Most Efficient?Gary Explains
Просмотров 123 тыс.
Building High-Performance RISC-V Cores for Everything19:01Building High-Performance RISC-V Cores for Everything
Building High-Performance RISC-V Cores for EverythingTechTechPotato
Просмотров 100 тыс.
Architecture All Access: Live at Lunar Lake ITT: Next Gen P-core Lion Cove20:58Architecture All Access: Live at Lunar Lake ITT: Next Gen P-core Lion Cove
Architecture All Access: Live at Lunar Lake ITT: Next Gen P-core Lion CoveIntel Technology
Просмотров 8 тыс.
RISC-V isn't killing Arm (yet)9:05RISC-V isn't killing Arm (yet)
RISC-V isn't killing Arm (yet)Jeff Geerling
Просмотров 340 тыс.
What are the differences ARM, x86 or RISC-V?23:48What are the differences ARM, x86 or RISC-V?
What are the differences ARM, x86 or RISC-V?DJ Ware
Просмотров 24 тыс.
Adobe: A Disgusting, Criminal Company10:21Adobe: A Disgusting, Criminal Company
Adobe: A Disgusting, Criminal CompanyBull Technology
Просмотров 52 тыс.
RISC-V and the CPU Revolution, Yunsup Lee, Samsung Forum37:43RISC-V and the CPU Revolution, Yunsup Lee, Samsung Forum
RISC-V and the CPU Revolution, Yunsup Lee, Samsung ForumSamsung Semiconductor Innovation Center
Просмотров 34 тыс.
Необычные наушники • 212443387 Делюсь обзорами в профиле @lykofandrei00:16Необычные наушники • 212443387 Делюсь обзорами в профиле @lykofandrei
Необычные наушники • 212443387 Делюсь обзорами в профиле @lykofandreiРаспаковочка у Андрея
Просмотров 19 тыс.
10 КРУТЫХ товаров XIAOMI которые все еще АКТУАЛЬНЫ в 2024 + КОНКУРС14:5210 КРУТЫХ товаров XIAOMI которые все еще АКТУАЛЬНЫ в 2024 + КОНКУРС
10 КРУТЫХ товаров XIAOMI которые все еще АКТУАЛЬНЫ в 2024 + КОНКУРСBelozerov
Просмотров 22 тыс.
⚠️НЕ СОВЕРШАЙ ЭТИ ОШИБКИ ПРИ ВЫБОРЕ ПРОЦЕССОРА⚠️17:54⚠️НЕ СОВЕРШАЙ ЭТИ ОШИБКИ ПРИ ВЫБОРЕ ПРОЦЕССОРА⚠️
⚠️НЕ СОВЕРШАЙ ЭТИ ОШИБКИ ПРИ ВЫБОРЕ ПРОЦЕССОРА⚠️Live Games
Просмотров 25 тыс.
Как покрасить видеокарту и сломать свой компьютер? Оказалось легко... #games #компьютер #nvidia #rtx01:00Как покрасить видеокарту и сломать свой компьютер? Оказалось легко... #games #компьютер #nvidia #rtx
Как покрасить видеокарту и сломать свой компьютер? Оказалось легко... #games #компьютер #nvidia #rtxПРОБУК
Просмотров 286 тыс.
Как подключить ТОЛСТЫЙ провод? #wireing #electrician #энерголикбез00:25Как подключить ТОЛСТЫЙ провод? #wireing #electrician #энерголикбез
Как подключить ТОЛСТЫЙ провод? #wireing #electrician #энерголикбезАлександр Мальков
Просмотров 2,9 млн
Simple maintenance. #leddisplay #ledscreen #ledwall #ledmodule #ledinstallation00:19Simple maintenance. #leddisplay #ledscreen #ledwall #ledmodule #ledinstallation
Simple maintenance. #leddisplay #ledscreen #ledwall #ledmodule #ledinstallation LED Screen Factory-EagerLED
Просмотров 9 млн
Спутниковый телефон #обзор #товары00:35Спутниковый телефон #обзор #товары
Спутниковый телефон #обзор #товарыProduct show
Просмотров 1,8 млн
ВЕЛИКАЯ ЭВОЛЮЦИЯ ЗВУКА: от 8-bit до Hi-Res | РАЗБОР23:18ВЕЛИКАЯ ЭВОЛЮЦИЯ ЗВУКА: от 8-bit до Hi-Res | РАЗБОР
ВЕЛИКАЯ ЭВОЛЮЦИЯ ЗВУКА: от 8-bit до Hi-Res | РАЗБОРDroider
Просмотров 50 тыс.