Decyphir

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.

decyphir.com