Milan Funck

FormalHandshake — Open Source Design and Verification Flow for Complex Hardware Circuits: Tool Paper

Formal verification methods like bounded model checking can deliver reassurance by proving safety and security properties. However, they come with their own challenges and limits, often preventing them to be an integral part of digital system designs. In this paper we introduce FormalHandshake, a hardware design and ve...