Description: Decyphir makes design automation tools for verification and synthesis of cyber-physical systems, focused on the automotive vertical including traditional automotive control systems to next-generation autonomous driving systems based on artificial intelligence. Currently piloting with 2 of the largest auto manufacturers in the world. The complexity of machines, advanced medical devices, and other cyber-physical systems is growing exponentially. Bringing these systems to market requires rapid verification and validation, which is especially challenging in the automotive sector. Deyphir has created a toolkit to address these challenges. Alex Donzé joined Professor Sanjit’s Seshia’s group at UC Berkeley in 2011, and they subsequently developed the theory and algorithms for Decyphir.
Website: http://www.decyphir.com/
Contact: info@decyphir.com
Program: CITRIS Foundry
Recent Comments