planned project
A structured public notebook for assertions, SVA patterns, proof attempts, and verification learning trails.
Links
Problem
Formal verification notes can become scattered quickly unless examples, assertions, and failure stories are organized by intent.
Outcome
A durable reference for formal verification learning and future technical writing.
System sketch
Approach
Lessons
Proof trail
Assertions are easier to learn when grouped by design intent.
Organize notes around safety, liveness, and interface behavior.
The notebook becomes easier to search and expand.
Verification writing should preserve the reason behind a property.