TTTech and SymbioticEDA have signed an agreement to evaluate within the next 24 months, how formal verification methods could be integrated into the development processes of TTTech. SymbioticEDA will provide and improve tools and training to the engineering team of TTTech, and TTTech will give feedback on how formal methods…
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
Comments