Projects
Open-source work — tools, experiments, and verification projects.
In progress
A Python utility that generates JasperGold-ready SVA property scaffolding from a simple YAML spec. Reduces boilerplate for common verification patterns.
RISC-V formal verification
Planned Formal verification of selected blocks in an open-source RISC-V core using SymbiYosys. Accompanies a write-up on the methodology and findings.