Innovations in Computing, Networking, and Communications: Driving the Next Big Wave in Verification
Our industry has experienced remarkable breakthroughs in computing, networking, and communication technology in recent years. Yet, it is the convergence of these technologies that is driving the next big thing in innovation related to IoT and autonomous systems. In addition, it is also driving the need for new approaches to verify today’s complex systems. In this keynote, Dr. Ravi Subramanian shares a holistic view of the next big wave in verification.