Researcher. Developer. Curious Mind.

HOME
CATEGORIES
TAGS
ARCHIVES
ABOUT
CV

Home Categories

Categories

Categories

hardware-verification 1 category , 1 post

floating-point 1 post

Recently Updated

The Lean 4 Typeclassopedia
The Verification Gap: What Proofs Actually Guarantee
Proving Fast Mersenne Modulo Correct in Lean 4
Lean4 Tactics I Keep Coming Back To
Formal Golden Models for RTL Verification with Lean4

Trending Tags

case-splitting datapath dpv ieee754 softfloat synopsys

© 2026 Sparsa. Some rights reserved.

Using the Chirpy theme for Jekyll.

Trending Tags

case-splitting datapath dpv ieee754 softfloat synopsys

New content available