Verilean

Shedding light on silicon with formal verification. Powered by Lean 4. Home of Sparkle HDL and Hesper Inference Engine.