https://sparsa.github.io/posts/welcome/ 2025-06-22T00:00:00+00:00 https://sparsa.github.io/posts/cat2com/ 2025-06-30T00:00:00+00:00 https://sparsa.github.io/posts/cache-coherency/ 2025-07-14T00:00:00+00:00 https://sparsa.github.io/posts/carbon-nanotube-gpu-revolution/ 2025-07-27T00:00:00+00:00 https://sparsa.github.io/posts/fp_multiplier_verification/ 2025-09-19T00:00:00+00:00 https://sparsa.github.io/posts/lean4-rtl-verification/ 2026-04-07T00:00:00+00:00 https://sparsa.github.io/posts/lean4-tactics/ 2026-04-26T00:00:00+00:00 https://sparsa.github.io/posts/mersenne-modulo-lean4/ 2026-05-10T00:00:00+00:00 https://sparsa.github.io/posts/von-neumans-hand/ 2026-06-27T00:00:00+00:00 https://sparsa.github.io/posts/Lean4-typeclassopedia/ 2026-08-19T00:00:00+00:00 https://sparsa.github.io/categories/ 2026-08-19T13:47:33+00:00 https://sparsa.github.io/tags/ 2026-08-19T13:47:33+00:00 https://sparsa.github.io/archives/ 2026-08-19T13:47:33+00:00 https://sparsa.github.io/about/ 2026-08-19T13:47:33+00:00 https://sparsa.github.io/cv/ 2026-08-19T13:47:33+00:00 https://sparsa.github.io/ https://sparsa.github.io/tags/dpv/ https://sparsa.github.io/tags/synopsys/ https://sparsa.github.io/tags/ieee754/ https://sparsa.github.io/tags/datapath/ https://sparsa.github.io/tags/softfloat/ https://sparsa.github.io/tags/case-splitting/ https://sparsa.github.io/categories/hardware-verification/ https://sparsa.github.io/categories/floating-point/ https://sparsa.github.io/categories/formal-methods/ https://sparsa.github.io/bhim/ 2026-08-19T13:47:28+00:00