Cadence × VOAGER — IoT & Formal Verification Combo Workshop
This combo workshop brings together intelligent robotics and industry-grade chip verification. Build VOAGER, a voice and gesture controlled robot that responds naturally to human commands using sensors, embedded systems, and IoT concepts.
Alongside this, get introduced to formal verification fundamentals using Cadence Jasper, where you’ll learn how hardware designs are mathematically verified for correctness and reliability in real-world semiconductor development.
A perfect blend of hands-on IoT robotics and professional chip verification insights, designed for both beginners and tech enthusiasts.

