Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2503.11687
Cited By
Review of Machine Learning for Micro-Electronic Design Verification
5 March 2025
Christopher Bennett
Kerstin Eder
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Review of Machine Learning for Micro-Electronic Design Verification"
8 / 8 papers shown
Title
Detecting Stimuli with Novel Temporal Patterns to Accelerate Functional Coverage Closure
Xuan Zheng
T. Blackmore
James Buckingham
Kerstin Eder
25
1
0
19 Jun 2024
VeriBug: An Attention-based Framework for Bug-Localization in Hardware Designs
Giuseppe Stracquadanio
Sourav Medya
Stefano Quer
Debjit Pal
22
2
0
17 Jan 2024
Using Neural Networks for Novelty-based Test Selection to Accelerate Functional Coverage Closure
Xuankui Zheng
Kerstin Eder
T. Blackmore
27
4
0
01 Jul 2022
Hybrid Intelligent Testing in Simulation-Based Verification
Nyasha Masamba
Kerstin Eder
T. Blackmore
59
3
0
19 May 2022
VeRLPy: Python Library for Verification of Digital Designs with Reinforcement Learning
Aebel Joe Shibu
S. Sadhana
N. Shilpa
Pratyush Kumar
AAML
36
6
0
09 Aug 2021
Machine Learning for Electronic Design Automation: A Survey
Guyue Huang
Jingbo Hu
Yifan He
Jialong Liu
Mingyuan Ma
...
Yuzhe Ma
Haoyu Yang
Bei Yu
Huazhong Yang
Yu Wang
65
238
0
10 Jan 2021
Design Rule Checking with a CNN Based Feature Extractor
Luis Francisco
Tanmay Lagare
Arpit Jain
Somal Chaudhary
Madhura Kulkarni
Divya Sardana
W. R. Davis
P. Franzon
3DV
23
7
0
21 Dec 2020
OpenAI Gym
Greg Brockman
Vicki Cheung
Ludwig Pettersson
Jonas Schneider
John Schulman
Jie Tang
Wojciech Zaremba
OffRL
ODL
225
5,089
0
05 Jun 2016
1