Get 20% off all career paths from fullstack to AI
AI, Data Science & Cloud Certificates from Google, IBM & Meta
Overview
Google, IBM & Meta Certificates – 40% Off
One plan covers every Professional Certificate on Coursera.
Unlock All Certificates
This conference talk explores cutting-edge approaches to hardware verification for high-speed protocols through machine learning integration. Discover the significant challenges in modern protocol verification and how a hybrid methodology combining formal methods, simulation techniques, and artificial intelligence creates more robust testing environments. Learn about the substantial performance improvements achieved through FPGA acceleration and the implementation of AI-driven verification cores. Explore how supervised learning algorithms optimize test case prioritization and how machine learning powers more efficient test generation. Examine the custom neural network architectures specifically designed for protocol verification, the critical importance of feature selection in AI verification systems, and emerging trends shaping the future of hardware verification. The 25-minute presentation provides a comprehensive overview of how machine learning is transforming hardware verification processes for complex high-speed protocols.
Syllabus
00:00 Introduction to Machine Learning in Protocol Testing
00:20 Challenges in High-Speed Protocol Verification
02:13 Hybrid Approach: Formal Methods, Simulation, and AI
05:12 Performance Impact of FPGA Acceleration
07:39 AI-Driven Verification Core
10:16 Supervised Learning for Test Case Prioritization
12:45 Machine Learning-Powered Test Generation
14:50 Custom Neural Network Architecture for Protocol Verification
19:27 Feature Selection in AI-Driven Verification
22:09 Future Trends in Hardware Verification
24:40 Conclusion
Taught by
Conf42