Technical writing and learning logs.

Notes on formal verification, system design, tooling, debugging, and the things worth remembering after building.

Jun 25, 2026formal verificationhardwarenotes

What is formal verification?

A plain-language starting point for proofs, assertions, state spaces, and why bugs hide in hardware designs.