Recommended Articles

Recommended Articles – April 2018

This month, Neil Johnson (AgileSOC) has challenged the verification community in an attempt to define a scope for the new Portable Stimulus Standard (PSS) and a place among the other existing verification techniques. He presents his view in a series of three articles. One of the articles presents each verification technique and its scope. In […]

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 […]