BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//pretalx//cfp.riscv-europe.org//eu-summit-2026//speaker//NBNWDQ
BEGIN:VTIMEZONE
TZID:CET
BEGIN:STANDARD
DTSTART:20001029T040000
RRULE:FREQ=YEARLY;BYDAY=-1SU;BYMONTH=10
TZNAME:CET
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
END:STANDARD
BEGIN:DAYLIGHT
DTSTART:20000326T030000
RRULE:FREQ=YEARLY;BYDAY=-1SU;BYMONTH=3
TZNAME:CEST
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
END:DAYLIGHT
END:VTIMEZONE
BEGIN:VEVENT
UID:pretalx-eu-summit-2026-BWUHVG@cfp.riscv-europe.org
DTSTART;TZID=CET:20260610T142000
DTEND;TZID=CET:20260610T143000
DESCRIPTION:RISC-V provides complex platform-level specifications\, such as
  the RISC-V IOMMU\, in addition to the core-level ISA to support a complet
 e open computing platform. The RISC-V IOMMU delves into intricate hardware
 -software interactions\, page table formats\, command and fault queue hand
 ling\, and multi-stage address translations that are as critical to system
  correctness but significantly harder to validate. \nAn essential part of 
 verifying the IOMMU involves executing real-world scenarios as would be pr
 esented via Linux. However\, setting up a full SoC-level environment to ru
 n Linux sequences is time-consuming and resource-intensive. As a result\, 
 critical IOMMU interactions are often validated too late or not at all.\n\
 nWe have developed a programmable device model that permits Linux testing 
 of RISC-V IOMMU RTL without requiring PCIe or DMA-capable devices to be in
 tegrated into the design under test. \nThe device model has been pivotal i
 n creating an emulation-friendly subsystem-level environment that integrat
 es high-performance RISC-V cores (TT-Ascalon) with RISC-V IOMMU. \nThe sub
 system runs Linux as the primary stimulus source\, reusing the upstream ke
 rnel IOMMU driver to exercise the IOMMU implementation against the RISC-V 
 specification with complex and realistic scenarios. \n\nWe will present th
 e design and operation of this device model\, the subsystem environment an
 d related software\, and shall share our findings\, including how it enabl
 ed us to quickly uncover corner-case bugs in our IOMMU RTL and its softwar
 e drivers\, thereby complementing traditional IP-level validation approach
 es.
DTSTAMP:20260522T162432Z
LOCATION:Poster Island B
SUMMARY:Unleashing the Penguin: Programmable Device Model for verifying RIS
 C-V IOMMU using Linux - Sai Rajat Goparaju\, Nicholas Piggin
URL:https://cfp.riscv-europe.org/eu-summit-2026/talk/BWUHVG/
END:VEVENT
END:VCALENDAR