Poster/Demo Previews

on YouTube ↗17m

" summary

A verification package called Sting test generator produces many randomized configurations per test, runs on simulation, emulation, FPGA and silicon, and finds real bugs — about 30 bugs found (5 critical) on a PULPino/RISCV platform including a multiply-unit error; virtual platforms and open‑source software models accelerate early SW bringup across RISC‑V and other cores; Linux support documents multilevel interrupt handling for the U54 and how it maps to PLIC/CLIC; a VP coprocessor prototype implements adaptive precision formats; an FPGA demo shows heterogeneous trace, bus traffic and induced deadlock.

AI-written summary · about

" chapters (4)

1. 0:00Introduction
2. 5:23Kevin McDonald
3. 11:42Thiago
4. 15:04Risk 5 Demo

" related talks

• 01h 12mPoster / Demo PreviewsJie Chen, Juan Fumero, Ekaterina Berezina, Wei Song, Chris Jones, Alberto Dassatti, Alex Bradbury, Mauro Olivieri, Zdenek Prikryl, Mary Bennett, Vasily Varaksin, Luke Kenneth Casson Leighton, Luca Carloni, Alexander Kamkin, Andrei Tatarnikov, Derek Atkins, Andrey Smolyarov, Christian Palmiero, Matt Cockrell, Christian Fabre, Nicolas Gaude, Hai Yu, Felix Kaiser, Heng Lin, Maja Malenko, Eric Matthews, Lesley Shannon, Paulo Matos, Lucas Morais, Aleksandar Pajkanovic, Matheus Ogleari, Shubhodeep Roy, Boris Shingarov, Christoph Schulz, Rui Hou, Dan Meng, Greg Sullivan, Robert Trout, Danny Ybarra · 8th RISC-V Workshop Barcelona 2018
• 53mPoster / Demo PreviewsSamuel Steffl · 7th RISC-V Workshop 2017
• 14mDemo: More Than Point Tools: RISC-V SolutionsLarry Lapides · RISC-V Summit North America 2025
• 17mDemo: RISC-V Models for Verification, Software Development and Architectural Explor...Larry Lapides · RISC-V Summit 2022
• 21mThe New Verification Ecosystem that Supports RISC-V Verification fo...Lee Moore, John Sotiropoulos · RISC-V Summit 2022
• 13mIntroduction to RISC-V Processor VerificationLarry Lapides · embedded world 2022
• 13mEarly RISC-V Software Verification with SIM-VLukas Jünger · embedded world 2023
• 16mIntroduction to RISC-V Processor VerificationLarry Lapides · embedded world 2023