Skip to main navigation Skip to search Skip to main content

Best Paper Award: Formal verification of SUBLEQ microcode implementing the RV32I ISA

  • Klemmer, Lucas (Recipient), Gurtner, Sonja (Recipient) & Große, Daniel (Recipient)

Prize: Prize, award or honor

Awarded dateSept 2022
Degree of recognitionInternational

Awarded at event

Event titleForum on specification & Design Languages (FDL)
Location, Linz, AustriaShow on map
Period14 Sept 2022 → 16 Sept 2022