BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//pretalx//cfp.riscv-europe.org//eu-summit-2026//speaker//KJFQ3D
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-RUUDYM@cfp.riscv-europe.org
DTSTART;TZID=CET:20260610T132000
DTEND;TZID=CET:20260610T133000
DESCRIPTION:The complexity of modern electronic systems has increased signi
 ficantly over the past decades due to continuous technological advances. T
 o cope with this growing complexity\, data structures\, algorithms\, and t
 he underlying hardware platforms used in Electronic Design Automation (EDA
 ) must be continuously improved. Decision Diagrams (DDs) constitute a fund
 amental graph-based structure for formal verification\, enabling efficient
  representation and algorithmic manipulation of switching functions. Owing
  to their practical relevance\, numerous optimizations have been incorpora
 ted into existing DD software packages. However\, these optimizations are 
 typically designed in an architecture-agnostic manner and do not explicitl
 y exploit characteristics of a specific target platform. As a consequence\
 , architecture-specific optimization opportunities may remain untapped. In
  this work\, a transaction-level analysis of a representative DD package i
 s conducted using a RISC-V-based trace analysis tool to investigate this p
 otential. The study reveals recurring instruction sequences with strong po
 tential for hardware-level aggregation\, enabling more efficient hardware 
 designs. Furthermore\, the derived insights provide guidance for higher-le
 vel software optimizations.
DTSTAMP:20260522T162735Z
LOCATION:Poster Island B
SUMMARY:Transaction-Level Analysis and Optimization of Decision Diagram Pac
 kages on RISC-V - Rune Krauss
URL:https://cfp.riscv-europe.org/eu-summit-2026/talk/RUUDYM/
END:VEVENT
END:VCALENDAR