Stimulus · checking · closure evidence
Design Verification Engineer Interview Questions
Trace transactions through a reusable UVM environment, then prove behavior with scoreboards, assertions, coverage, constrained stimulus, protocol checks, and closure evidence.
38questions14technical areas6linked guides
Question directory
Choose the problem before the explanation.
Filter the complete Design Verification Engineer collection, then open the exact question page. Difficulty and subscriber access stay visible without obscuring the title.
Showing 38 of 38All questions visible
- Q001SystemVerilogBlocking and nonblocking assignmentSystemVerilog · Basic schedulingEasy
- Q016Data StructuresPacked and unpacked arraysSystemVerilog · Array formsEasy
- Q008UVM Componentsuvm_object versus uvm_componentUVM · Class roles and constructionEasy
- Q252UVM ComponentsBuild and connect phasesUVM · Phase lifecycle and orderingEasy
- Q044UVM ComponentsConfig_db virtual interface distributionUVM · Configuration scoping and precedenceEasy
- Q263UVM ComponentsSequencer-driver connectionUVM · Pull protocol handshakeEasy
- Q170UVM ComponentsAnalysis port semanticsUVM · Analysis distributionEasy
- Q053Reference ModelsOut-of-order scoreboard matchingUVM · Checking architectureMedium
- Q297UVM ComponentsDrive a ready/valid interface correctlyUVM · DriverMedium
- Q602UVMConnect a UVM monitor to a scoreboardDV · UVMMediumP
- Q904VerificationExplain what functional coverage measuresDV · CoverageEasyP
- Q1104Functional CoverageBuild Traceable Verification Items from a SpecificationDV · DesignMediumP
- Q299Functional CoverageCoverpoint binsSystemVerilog · Functional coverageEasy
- Q395Functional CoverageIgnored and illegal binsSystemVerilog · Functional coverageEasyP
- Q329Functional CoverageArrayed coverage binsSystemVerilog · Advanced coverageMediumP
- Q065Formal VerificationProve an arbiter avoids deadlock and livelockDeadlock · LivelockHard
- Q126Temporal ChecksAssert an integer square-root pipelineDV · SVAHard
- Q046Temporal ChecksProve an elastic one-hot checkerDV · SVAHard
- Q374SystemVerilogConcurrent assertion schedulingSystemVerilog · Scheduling regionsEasyP
- Q082Temporal ChecksSystemVerilog Assertions (SVA) implicationSystemVerilog · Assertion timingEasy
- Q666Temporal ChecksSVA repetitionSystemVerilog · Assertion timingEasyP
- Q396ConstraintsBias burst lengths by rangeRandomization · distEasyP
- Q259ConstraintsConstrain a size-aligned addressRandomization · AlignmentEasy
- Q973ConstraintsEnforce uniqueness within each groupRandomization · Conditional uniquenessMediumP
- Q958ConstraintsRandomize weighted onehot-or-zero requestsRandomization · OnehotMediumP
- Q691ConstraintsConstrain a DMA transfer to one 4KB pageSystemVerilog · ConstraintsMediumP
- Q002Waveform DebuggingValid Drops During a StallDV · Waveform DebuggingEasy
- Q272Temporal ChecksCheck hold while stalledHandshake · ProtocolEasy
- Q140Temporal ChecksMonitor ready/valid without SVADV · DesignMedium
- Q017Protocol CheckingAPB Protocol Monitor without SVADV · APBMedium
- Q035Waveform DebuggingAXI Write Address Changes While StalledDV · Waveform DebuggingMedium
- Q620Waveform DebuggingAXI Read Responses Reverse Two Requests with the Same IDDV · Waveform DebuggingHardP
- Q019Waveform DebuggingPipeline Returns the Wrong TagDV · Waveform DebuggingMedium
- Q029Waveform DebuggingUnknown Output After ResetDV · Waveform DebuggingEasy
- Q116Waveform DebuggingRead Attempt on an Empty FIFODV · Waveform DebuggingEasy
- Q125Waveform DebuggingAcknowledge Without an Outstanding RequestDV · Waveform DebuggingEasy
- Q036Clock Domain CrossingModel a CDC-safe asynchronous FIFODesign · DVHard
- Q785Clock and Reset DomainsImplement a coordinated-reset depth-16 asynchronous FIFODV · DesignHardP
Coverage map
See what the collection actually contains.
The bars count questions in this prepared role path. Team scope and interview emphasis vary by employer.
- Easy20
- Medium12
- Hard6
Related learning
Review the concept, then return to the question.
These are the guides most often linked by questions in this collection.
- 01Transfer ContractsReview ready-valid, request-acknowledge, APB, and AHB transfer rules.5↗
- 02Coverage Bins and CrossesReview covergroups, bins, transitions, crosses, exclusions, and model size.3↗
- 03Relational and Array ConstraintsReview equations, ordering, arrays, uniqueness, reductions, alignment, and nonoverlap.3↗
- 04SVA Timing and OperatorsReview implication, endpoints, delays, repetition, and exact sampled-edge timing.3↗
- 05UVM Factory and StimulusReview factory overrides, configuration, sequences, sequencers, and drivers.3↗
- 06CDC and ClocksReview crossing protocols, metastability risk, Gray pointers, clock relationships, and gating.2↗
Design Verification Engineer question bankAttempt the prompts with the collection filter applied.
Open filtered practice Keep the directory open for review, or move into the full question bank to track answers and reveal authorized solutions.
