Video
Unknown · 0:00
This talk presents a Coq-based library for generating formally-verified hardware that matches regular expressions, using the Clash Haskell-to-Verilog compiler to bridge proof and silicon.
Unknown · 0:00
This talk presents a Coq-based library for generating formally-verified hardware that matches regular expressions, using the Clash Haskell-to-Verilog compiler to bridge proof and silicon.
Redirecting...