Battle report from formally verifying a SoC




Dan Gisselquist is writing his own 32 bit SoC and set himself the goal to formally verify it. Listen in to the talk he gave about his experiences he made with that. Talk during ORconf 2018 in Gdansk

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

106 views0 comments

Recent Posts

See All