Showing cs.ARShow all
3 papers · 1 filter
cs.AR2025
Optimizing Coverage-Driven Verification Using Machine Learning and PyUVM: A Novel Approach
Suruchi Kumari, Deepak Narayan Gadde, Aman Kumar
The escalating complexity of System-on-Chip (SoC) designs has created a bottleneck in verification, with traditional techniques struggling to achieve complete coverage. Existing te…
cs.AR2024
Towards Efficient Design Verification -- Constrained Random Verification using PyUVM
Deepak Narayan Gadde, Suruchi Kumari, Aman Kumar
Python, as a multi-paradigm language known for its ease of integration with other languages, has gained significant attention among verification engineers recently. A Python-based…
cs.AR2024
Effective Design Verification -- Constrained Random with Python and Cocotb
Deepak Narayan Gadde, Suruchi Kumari, Aman Kumar
Being the most widely used language across the world due to its simplicity and with 35 keywords (v3.7), Python attracts both hardware and software engineers. Python-based verificat…