RISC-V Workshop, Zurich is part of the Informa Tech Division of Informa PLC

This site is operated by a business or businesses owned by Informa PLC and all copyright resides with them. Informa PLC's registered office is 5 Howick Place, London SW1P 1WG. Registered in England and Wales. Number 3099067.


Clifford Wolf
CTO at Symbiotic EDA


Clifford Wolf is the author of riscv-formal and a member of the RISC-V Formal Specification Workgroup. Clifford is best known for his Open Source EDA projects, including Yosys, SymbiYosys, Project IceStorm, and Project X-Ray. He is co-founder of Symbiotic EDA, a company focusing on formal hardware verification and advancing Open Source EDA tools.

Clifford Wolf's Network

Agenda Sessions

  • Better Living Through Bit Manipulation: Higher Performance at Lower Power