Clifford WolfCTO at Symbiotic EDA
Clifford Wolf is vice-chair of the RISC-V BitManip Task Group. Clifford is best known for his Open Source projects, including Yosys, SymbiYosys, Project IceStorm, Project X-Ray, riscv-formal, PicoRV32, and OpenSCAD. He is co-founder and CTO of Symbiotic EDA, a company focusing on formal hardware verification and advancing Open Source EDA tools.
When he is not tinkering with RISC-V or Open Source EDA, Clifford is playing Go/Baduk/Weiqi online, or is playing comically bad Golf offline.