AMIQ Education Program

Digital Circuits Simulation and Verification Summer Course 2.0

Well, well. The Summer Course saga continues… Between 27th of June and 8th of July I delivered the Digital Circuits Simulation and Verification Course organized by the Department of Electronic Devices, Circuits and Architectures, within Politehnica University of Bucharest. This course was an improved version of the 2015’s Summer School. This year I was better […]

Stefan Birman

How to Check Out-Of-Order Transactions

This article presents a general solution to the classic problem of checking out-of-order transactions. The main goal is to present the solution as a verification pattern that can be easily grasped and adapted to your verification project requirements (e.g. verification language, reference implementation language, design under test – DUT specifics etc.). The article’s sections are: […]

AMIQ Education Program

Hardware Verification Summer Course at Politehnica University of Bucharest

Between 20th and 31st of July I taught an intensive hardware verification course organized by the Department of Electronic Devices, Circuits and Architectures, within Politehnica University of Bucharest. This course is a pilot for introducing verification in the department’s curriculum. In January 2015 I met Professor Gheorghe M. Stefan and Assistant Professors Lucian Petrica and […]

Recommended Articles

Recommended Articles – April 2015

Reading a specification is a continuous process that anyone can learn. Stefan guides you through the steps of this process: AMIQ Blog: How to Read a Specification: You can draw a picture without lifting the pencil by using constraint random generation: VerificationGentleman: Fun and Games with CRV: Draw This Without Lifting Your Pencil Writing assertions […]

Stefan Birman

A Birds-Eye View of DVCon Europe

I finally found some time to write about the first edition of DVCon-Europe, which took place on 14-15th of October, 2014, in Munich. The content What I liked most at DVCon Europe was conference’s focus on content that addressed interesting and often intriguing technical topics. Below you can find the summary for a few presentations […]

Recommended Articles

Recommended Articles – July 2014

Zebra Puzzle is a very good didactic problem for understanding constraints. Tudor Timisescu, the blog’s author, takes the effort in showing us what problems he encountered while building the constraints in SystemVerilog. Verification Gentleman: Fun and Games with CRV: The Zebra Puzzle If you want to know how to constraint elements of a dynamic array […]