3 papers
cs.CR2025
Coverage-Guided Pre-Silicon Fuzzing of Open-Source Processors based on Leakage Contracts
Gideon Geier, Pariya Hajipour, Jan Reineke
Hardware-software leakage contracts have emerged as a formalism for specifying side-channel security guarantees of modern processors, yet verifying that a complex hardware design c…
cs.LO2021
Specification Decomposition for Reactive Synthesis
Bernd Finkbeiner, Gideon Geier, Noemi Passing
Reactive synthesis is the task of automatically deriving a correct implementation from a specification. It is a promising technique for the development of verified programs and har…
cs.LO2021
Syntroids: Synthesizing a Game for FPGAs using Temporal Logic Specifications
Gideon Geier, Philippe Heim, Felix Klein +1
We present Syntroids, a case study for the automatic synthesis of hardware from a temporal logic specification. Syntroids is a space shooter arcade game realized on an FPGA, where…