Copertina

Improving Simulation Regression Efficiency using a Machine Learning-based Method in Design Verification

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Gadde, Deepak Narayan, Simon, Sebastian, Lettnin, Djones, Ziller, Thomas
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Machine Learning Hardware Architecture
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

FuzzWiz -- Fuzzing Framework for Efficient Hardware Coverage
di: Gadde, Deepak Narayan, et al.
Pubblicazione: (2024)

Hey AI, Generate Me a Hardware Code! Agentic AI-based Hardware Design & Verification
di: Gadde, Deepak Narayan, et al.
Pubblicazione: (2025)

Towards Efficient Design Verification -- Constrained Random Verification using PyUVM
di: Gadde, Deepak Narayan, et al.
Pubblicazione: (2024)

Verifying Non-friendly Formal Verification Designs: Can We Start Earlier?
di: Olmos, Bryan, et al.
Pubblicazione: (2024)

Optimizing Coverage-Driven Verification Using Machine Learning and PyUVM: A Novel Approach
di: Kumari, Suruchi, et al.
Pubblicazione: (2025)

Effective Design Verification -- Constrained Random with Python and Cocotb
di: Gadde, Deepak Narayan, et al.
Pubblicazione: (2024)

Efficient Stimuli Generation using Reinforcement Learning in Design Verification
di: Gadde, Deepak Narayan, et al.
Pubblicazione: (2024)

Analogous Alignments: Digital "Formally" meets Analog
di: Mohanty, Hansa, et al.
Pubblicazione: (2024)

All Artificial, Less Intelligence: GenAI through the Lens of Formal Verification
di: Gadde, Deepak Narayan, et al.
Pubblicazione: (2024)

Review of Machine Learning for Micro-Electronic Design Verification
di: Bennett, Christopher, et al.
Pubblicazione: (2025)

Formal that "Floats" High: Formal Verification of Floating Point Arithmetic
di: Mohanty, Hansa, et al.
Pubblicazione: (2025)

Accelerating Computer Architecture Simulation through Machine Learning
di: Ali, Wajid, et al.
Pubblicazione: (2024)

Comprehensive Verilog Design Problems: A Next-Generation Benchmark Dataset for Evaluating Large Language Models and Agents on RTL Design and Verification
di: Pinckney, Nathaniel, et al.
Pubblicazione: (2025)

FedChip: Federated LLM for Artificial Intelligence Accelerator Chip Design
di: Nazzal, Mahmoud, et al.
Pubblicazione: (2025)

Energy Efficient Software Hardware CoDesign for Machine Learning: From TinyML to Large Language Models
di: Vahdatpour, Mohammad Saleh, et al.
Pubblicazione: (2026)

Tao: Re-Thinking DL-based Microarchitecture Simulation
di: Pandey, Santosh, et al.
Pubblicazione: (2024)

Cell Library Characterization for Composite Current Source Models Based on Gaussian Process Regression and Active Learning
di: Bai, Tao, et al.
Pubblicazione: (2025)

Architect in the Loop Agentic Hardware Design and Verification
di: Mohammed, Mubarek
Pubblicazione: (2025)

Dynamic Tsetlin Machine Accelerators for On-Chip Training at the Edge using FPGAs
di: Mao, Gang, et al.
Pubblicazione: (2025)

CBM-Dual: A 65-nm Fully Connected Chaotic Boltzmann Machine Processor for Dual Function Simulated Annealing and Reservoir Computing
di: Yoshioka, Kanta, et al.
Pubblicazione: (2026)

FPGA Divide-and-Conquer Placement using Deep Reinforcement Learning
di: Wang, Shang, et al.
Pubblicazione: (2024)

VeriBug: An Attention-based Framework for Bug-Localization in Hardware Designs
di: Stracquadanio, Giuseppe, et al.
Pubblicazione: (2024)

FPGA-Enabled Machine Learning Applications in Earth Observation: A Systematic Review
di: Léonard, Cédric, et al.
Pubblicazione: (2025)

Efficient FPGA Implementation of Time-Domain Popcount for Low-Complexity Machine Learning
di: Duan, Shengyu, et al.
Pubblicazione: (2025)

HLSFactory: A Framework Empowering High-Level Synthesis Datasets for Machine Learning and Beyond
di: Abi-Karam, Stefan, et al.
Pubblicazione: (2024)

Security Risks in Machining Process Monitoring: Sequence-to-Sequence Learning for Reconstruction of CNC Axis Positions
di: Krupp, Lukas, et al.
Pubblicazione: (2026)

Kernel Approximation using Analog In-Memory Computing
di: Büchel, Julian, et al.
Pubblicazione: (2024)

DeepGate4: Efficient and Effective Representation Learning for Circuit Design at Scale
di: Zheng, Ziyang, et al.
Pubblicazione: (2025)

CapBench: A Multi-PDK Dataset for Machine-Learning-Based Post-Layout Capacitance Extraction
di: Rodriguez, Hector R., et al.
Pubblicazione: (2026)

SoberDSE: Sample-Efficient Design Space Exploration via Learning-Based Algorithm Selection
di: Xu, Lei, et al.
Pubblicazione: (2026)

MetaML-Pro: Cross-Stage Design Flow Automation for Efficient Deep Learning Acceleration
di: Que, Zhiqiang, et al.
Pubblicazione: (2025)

Learning Generalizable Program and Architecture Representations for Performance Modeling
di: Li, Lingda, et al.
Pubblicazione: (2023)

RL-MUL 2.0: Multiplier Design Optimization with Parallel Deep Reinforcement Learning and Space Reduction
di: Zuo, Dongsheng, et al.
Pubblicazione: (2024)

Explainable Fuzzy Neural Network with Multi-Fidelity Reinforcement Learning for Micro-Architecture Design Space Exploration
di: Fan, Hanwei, et al.
Pubblicazione: (2024)

DG-RePlAce: A Dataflow-Driven GPU-Accelerated Analytical Global Placement Framework for Machine Learning Accelerators
di: Kahng, Andrew B., et al.
Pubblicazione: (2024)

RLPlanner: Reinforcement Learning based Floorplanning for Chiplets with Fast Thermal Analysis
di: Duan, Yuanyuan, et al.
Pubblicazione: (2023)

AiEDA: An Open-Source AI-Aided Design Library for Design-to-Vector
di: Qiu, Yihang, et al.
Pubblicazione: (2025)

Memory-Efficient FPGA Implementation of Stochastic Simulated Annealing
di: Shin, Duckgyu, et al.
Pubblicazione: (2026)

Improving the Performance and Learning Stability of Parallelizable RNNs Designed for Ultra-Low Power Applications
di: Brandoit, Julien, et al.
Pubblicazione: (2026)

Introducing Instruction-Accurate Simulators for Performance Estimation of Autotuning Workloads
di: Pelke, Rebecca, et al.
Pubblicazione: (2025)