| Ereignistitel | Forum on specification & Design Languages (FDL) |
|---|---|
| Ort | , Linz, ÖsterreichAuf Karte anzeigen |
| Zeitraum | 14 Sep. 2022 → 16 Sep. 2022 |
Best Paper Award: Formal verification of SUBLEQ microcode implementing the RV32I ISA
- Klemmer, Lucas (Empfänger*in), Gurtner, Sonja (Empfänger*in) & Große, Daniel (Empfänger*in)
Auszeichnung: Preis, Auszeichnung oder Ehrung