Bill McSpadden

Bill joined RISC-V International in January of 2022. He came from Seagate where he worked on the verification team for their RISC-V cores. He worked for intel for much of his career. And he has also worked for IBM, Verilab (an RTL verification consulting group) and Starkey Hearing Technologies. He has lived in Chanhassen, MN, for the past five years where he is learning to adapt to the cold (Oct-Apr) and the mosquitoes (May-Sept). Prior to moving to Minisoda, he lived in Oregon for 30+ years.

Bill is a Formal Verification Engineer. (No it doesn’t mean he wears a tux.) He is working on the formal definition of the RISC-V architecture in the hopes that some day he can have a self-consistent, provable definition of the architecture.