"Verification Haven" — @verificationhaven Telegram-kanali

Welcome to the latest entry in my blog: Unhinged assignment. This post takes you on a journey that begins with the fundamentals of non-blocking assignments and gradually immerses you in the horrific fascinating world of indeterminism and delta-cycle shenanigans.

Unhinged assignment - Verification Haven - Obsidian Publish

All models are wrong, but some are useful. Table of Contents 1. Introduction How to read this post if... Hard(ware) foundations SystemVerilog scheduler Simple illustration More motivation Resolving r…

443 0 5 21 7

Verification Haven

28 Feb 2025, 21:02

How many lines does one need to break VCS? Not much.

module tb;
logic a = 0;
logic b = 0;
logic bb = 0;
logic [1:0] c;

function automatic logic foo(logic x, logic y);
return x && y;
endfunction

always_comb begin
c = 0;
unique0 if (a) begin
c = 1;
end else if (foo(b, bb)) begin
c = 2;
end else begin
c = 3;
end
end

initial begin
#1;
a

477 0 1 3

Verification Haven

30 Dec 2024, 16:44

The frequency of my posts is only slightly higher than the frequency of snowfalls in Barcelona. A half-joking experiment on what happens if you put an AI into the technical interview.

LLM versus you at a technical interview - Verification Haven - Obsidian Publish

This year has seen a lot of news, achievements, failures, and hysterics on the topic of AI. It passes exams, throws people out of jobs, and wins a Nobel Prize (not really). I think Christmas holidays…

462 0 0 2 1

Verification Haven

1 Jan 2024, 19:24

A short and light reading about one particular bad UVM agent design practice and how to avoid it. May be interesting for not very experienced engineers and those only making their first steps in UVM.

https://publish.obsidian.md/zvord/Blog/Splitting+the+responsibility+pie

Splitting the responsibility pie - Verification Haven - Obsidian Publish

There’s never time to do it right, but always time to do it twice. puppy-driver.JPG How to (not) mess up your driver When learning a new technology, especially on your own, it’s very easy to become c…