Master Thesis – Agentic AI for Stimulus Creation During Coverage Closure
Core
Develop an Agentic AI pipeline to automate stimulus creation for ASIC verification during coverage closure, reducing manual engineering effort for hardware modules.
Role type
Master Thesis Researcher (Agentic AI for Hardware Verification)
Builds
Agentic AI pipeline for coverage-directed stimulus generation
Domain
Embedded Systems, Electrical Engineering, Computer Science, ASIC Verification
Deliverable
production ML models
Required skills
Agentic AI, ASIC Verification, Constrained-random testing, Functional coverage, Code coverage, Prompt engineering, Retrieval-augmented generation (RAG), Simulation debugging, Hardware design
Preferred skills
System on Chip (SoC) development, Digital solution verification
Technologies
Language models, Testbench code, Simulation environments
Responsibilities
Investigate state-of-the-art methods for agentic AI in ASIC verification, Establish a benchmark for the existing AI pipeline, Tune the pipeline via prompt and context improvements, Evaluate the final pipeline on held-out coverage targets
Seniority
Master Thesis Student (Research)
