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.7.6 Catch the bad read paths 1275 Verify Medium Browser

Module 3 · Routines and Processes

  1. 3.7.6 Catch the late responders 1350 Verify Hard Verilator

Module 5 · Randomization

  1. 5.7.9 Catch the generators that cross a bank 1200 Verify Medium Verilator

Module 6 · Connecting to the DUT

  1. 6.2.6 Catch the broken pipelines 1125 Verify Medium Verilator
  2. 6.6.6 Hold the offer 825 Verify Easy Verilator
  3. 6.6.7 Count the beats 975 Verify Medium Verilator
  4. 6.6.8 Answer in time 975 Verify Medium Verilator
  5. 6.6.9 The right data for the right request 975 Verify Medium Verilator
  6. 6.6.12 Tickets for a lost response 1050 Verify Medium Verilator
  7. 6.6.11 A read-channel assertion suite 1500 Verify Hard Verilator
  8. 6.6.13 A tagged channel assertion suite 1500 Verify Hard Verilator

Module 7 · FIFO Verification

  1. 7.6.6 Catch the FIFOs that break at wrap and reset 1350 Verify Hard Verilator

Synchronous FIFO

  1. H1.9 Catch the faulty FIFOs 1350 Verify Hard Browser

Protocols · P1 Protocol Fundamentals

  1. P1.3.2 Catch the broken sources 1350 Verify Hard Browser
  2. P1.10.1 Properties for the link 1350 Verify Hard Verilator
  3. P1.11.1 Catch every broken link 1425 Verify Hard Browser

Protocols · P2 AXI

  1. P2.2.1 Catch the broken managers 1350 Verify Hard Browser
  2. P2.3.1 The write dependencies 1350 Verify Hard Browser
  3. P2.10.1 The same-ID order checker 1425 Verify Hard Browser
  4. P2.16.1 Six properties for the link 1425 Verify Hard Verilator
  5. P2.18.1 Catch every broken subordinate 1425 Verify Hard Browser

UVM Practice

  1. U5.1.1 Catch the sequencers that grant out of turn 1275 Verify Medium UVM
  2. U7.2.1 A scoreboard among careless listeners 1125 Verify Medium UVM
  3. U16.4.1 The interrupt that clears itself 1425 Verify Hard UVM