Research agreement between TTTech and SymbioticEDA

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 could be useful in an industrial setting where maximum safety of digital circuit designs is key.

TTTech is a global leader in the field of robust networking and safety controls. TTTech solutions improve the safety and reliability of electronic systems in the industrial and transportation sectors, with a portfolio of products that are helping to make the Industrial Internet of Things and autonomous driving a reality.


Leave a Reply

Your email address will not be published. Required fields are marked *