ASIC Point

Silicon Lab

Design Verification Problems

Build a design, hunt its bugs, or repair what fails. Every answer runs on a real simulator.

Build starts from a specification: make it work, then make it small or fast. Bug Hunt asks for the checker or the test that catches broken designs. Repair hands you a failure: find the cause, then fix the design.

Module 1 · Storing Data

  1. 1.1.3 The false-pass monitor 1050 Fix Medium Browser
  2. 1.7.2 Repair the transaction field 825 Fix Easy Browser

Module 2 · Collections

  1. 2.6.2 Aliased collection repair 1050 Fix Medium Verilator

Module 3 · Routines and Processes

  1. 3.2.1 Invocation-local accumulator 750 Fix Easy Verilator
  2. 3.3.3 Cancellation scope repair 1125 Fix Medium Verilator
  3. 3.6.1 Protected shared counter 900 Fix Easy Verilator

Module 4 · Classes

  1. 4.2.6 The copy that shares its payload 750 Fix Easy Verilator
  2. 4.5.3 Stale cast destination 1125 Fix Medium Verilator

Module 5 · Randomization

  1. 5.1.6 The packet that kept its old length 825 Fix Easy Verilator
  2. 5.5.1 Freeze one random field 900 Fix Easy Verilator

Module 6 · Connecting to the DUT

  1. 6.2.1 Pre-update versus post-update 750 Fix Easy Verilator
  2. 6.3.1 Clocking-view sampler 825 Fix Easy Verilator
  3. 6.4.3 Wrong-interface binding 975 Fix Medium Verilator

Module 7 · FIFO Verification

  1. 7.2.6 The read that was valid on an empty FIFO 900 Fix Easy Verilator
  2. 7.5.9 The cross that can never close 1050 Fix Medium Verilator
  3. 7.7.3 Premature test completion 900 Fix Easy Verilator

Protocols · P1 Protocol Fundamentals

  1. P1.8.1 Fix the strobe 900 Fix Easy Browser
  2. P1.11.4 Fix the sink 975 Fix Medium Browser

Protocols · P2 AXI

  1. P2.6.2 The WRAP boundary 1125 Fix Medium Browser
  2. P2.9.1 The strobe handling 1125 Fix Medium Browser
  3. P2.15.1 A Lite subordinate 1125 Fix Medium Browser
  4. P2.18.5 The subordinate that reordered 1275 Fix Medium Browser

UVM Practice

  1. U1.4.1 The error test that never broke a checksum 900 Fix Easy UVM
  2. U3.2.1 Two environments that never talk 900 Fix Easy UVM
  3. U4.3.1 The burst driver that outran its receiver 900 Fix Easy UVM
  4. U7.4.1 The checker that fails nothing 900 Fix Easy UVM
  5. U9.3.1 Three channels and a model that disagrees 1125 Fix Medium UVM
  6. U10.2.1 The scoreboard that remembered through reset 1050 Fix Medium UVM
  7. U13.2.1 Registers that all read zero 900 Fix Easy UVM
  8. U14.2.1 The overflow flag that would not stay set 900 Fix Easy UVM
  9. U15.2.1 The poison test with a short ledger 1125 Fix Medium UVM