Researcher. Developer. Curious Mind.

HOME
CATEGORIES
TAGS
ARCHIVES
ABOUT
CV

Home Tags ieee754

Tag

ieee754 1

Datapath Verification of Floating-Point Multipliers with Case Splitting Sep 19, 2025

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