RISC-V Summit 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 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.