Pedro Dornas

Writing

Longer pieces — project write-ups, methodology deep-dives, and technical explorations.

A complete formal verification project, start to finish
From microarchitecture spec to coverage closure — how a real FV engagement is structured and executed.
FV methodologyJasperGold