Formal Verification Engineer

I work on hardware IP verification at Intel — writing SVA properties, running JasperGold proof campaigns, and closing coverage on digital designs. This site is where I publish notes, references, and longer pieces on formal methods.