Async FIFO Verification, Part 1: The Design, Gray Pointers and a Starter UVM Bench
Async FIFO verification, part 1: Gray-coded pointers, the full and empty flags, a verification plan and a starter UVM bench with real VCS logs.
Related learning paths
Latest articles
-
-
UVM Scoreboard Mismatch: How to Find the Real Cause
A UVM scoreboard mismatch has 6 likely causes, and only one is the design. A 5-minute triage, plus 5 planted bugs with real VCS logs to practise on.
-
I Gave AI a UVM Spec: It Caught 4 of 4 Bugs. Our Hand-Written Bench Caught 2
We gave AI a one-page spec and asked for a UVM testbench. Its first draft caught 4 of 4 hidden bugs on VCS. Our hand-written bench caught 2. Prompt, logs and files inside.
-
AXI Protocol Verification in 2026: SystemVerilog and UVM Guide
A practical 2026 guide to AXI protocol verification: the five channels, handshakes, IDs and ordering, a working UVM agent with SVA and coverage, AXI4 vs AXI5 including Issue L, and ACE and CHI coherency basics.
-
Portable Stimulus (PSS) Guide 2026: Working Examples and How AI Helps
Learn Portable Stimulus (PSS) with runnable DMA and UART examples, what is new in PSS 3.0, and how AI tools help write PSS models. Explained in plain words.
-
The Practical Verification Debug Guide: A Repeatable Method (+ AI-Assisted Debug)
A repeatable verification debug method: the five-door order, UVM and SystemVerilog tips, waveform tracing, regression triage, and an AI-assisted debug flow.
-
AI in ASIC Verification: A Practical Method (With Limits)
In short: AI-assisted verification uses machine learning and large language models to speed up the slow, repetitive parts of chip verification. Your value as a verification engineer is moving toward building and owning that checker. Introduction and why this matters now Verification already takes the biggest share of an SoC schedule. Designs keep growing faster…
-
From RTL to Reality: Inside Hardik Trivedi’s Design Verification Journey
In the fast-moving business of chip design, where logic and silicon come together to power the devices we rely on every day, a group of quiet problem solvers does the careful work behind the scenes: ASIC verification engineers. These are the people who chase down bugs before a chip ever reaches production, testing every path…
-
Assertions | Functional Coverage | Interview Questions | System Verilog | UVM | Verification Fundamentals
Clock Multiplication vs Division: Which to Use and Why
In short: Designs need many clock frequencies from one reference. Division is simple but only gives integer ratios below the reference and can pile up jitter across a long chain. Multiplication, usually via a PLL, reaches higher frequencies, supports non-integer ratios, and often has lower jitter, which is why it suits high-speed links, CPU cores,…
-
Formal Verification vs Functional Verification: A Tale of Two Approaches
In short: Formal and functional verification are partners. Formal uses mathematics to prove a property holds for every possible case, which fits small control logic and safety-critical corners. Functional runs simulations across many realistic scenarios and scales to a full system, but it can only sample the state space. Strong teams use formal for the…
