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