Invited presentation about Risc-V Formal Verification given at Google

Updated: May 16, 2019



During his Bay Area visit, Clifford Wolf, Co-Founder and CTO of Symbiotic EDA, was invited to present his open source verification tool set to a crowd of experienced chip designers in the Google headquarter in Mountain View.

Edmund Humenberger is Co-Founder and CEO of Symbiotic EDA – a software company for formal-verification- and FPGA-design-tools to reduce risk for decision makers and engineers in the chip design and hardware manufacturing industry. @ Symbiotic GmbH All rights reserved

56 views0 comments

Recent Posts

See All