24 results on '"Raviv, Gal"'
Search Results
2. Guest Editors' Introduction: Special Issue on Machine Learning for CAD/EDA.
3. Using Deep Neural Networks And Derivative Free Optimization To Accelerate Coverage Closure.
4. Automatic Scalable System for the Coverage-Directed Generation (CDG) Problem.
5. Using Machine Learning Clustering To Find Large Coverage Holes.
6. Using DNNs and Smart Sampling for Coverage Closure Acceleration.
7. Report on First and Second ACM/IEEE Workshop on Machine Learning for CAD (MLCAD).
8. Deep Neural Network Accelerated Implicit Filtering.
9. Template Aware Coverage: Taking Coverage Analysis to the Next Level.
10. Late Breaking Results: FRIENDS - Finding Related Interesting Events via Neighbor Detection.
11. The Verification Cockpit - Creating the Dream Playground for Data Analytics over the Verification Process.
12. Using AI for Performance Verification of High-End Processors.
13. ML for CAD - Where is the Treasure Hiding?
14. How To Catch A Lion In The Desert - On The Solution Of The Coverage Directed Generation (CDG) Problem.
15. Decorating bacteria with self-assembled synthetic receptors
16. ArChiVED: Architectural checking via event digests for high performance validation.
17. Hybrid checking for microarchitectural validation of microprocessor designs on acceleration platforms.
18. Structure of Type-I Mycobacterium tuberculosis fatty acid synthase at 3.3 Å resolution
19. Data Analytics and Machine Learning for Coverage Closure
20. Machine Learning in the Service of Hardware Functional Verification
21. Session details: Plenary IV
22. Session details: Panel
23. Risk Analysis Based On Design Version Control Data
24. MLCAD '20: 2020 ACM/IEEE Workshop on Machine Learning for CAD, Virtual Event, Iceland, November 16-20, 2020
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.