AMIQ Education Program

Open Source Summer School Labs

The last Digital Circuits Simulation and Verification summer school made me wonder: why restrict access to the labs to only those students that can join the summer course? why not give access to the labs to any student that wished to take the course but couldn’t join due to various reasons? That is why I […]

AMIQ Education Program

Amiq Education Program Updates Summer 2017

I just came back from vacation and my fingers are restless, urging me to share with you some of the Amiq Education Program’s latest activities. First Generation of Students to Graduate under the Guidance of the AMIQ Education Program It’s celebration time: three students mentored under the AMIQ Education Program graduated at the beginning of […]

Stefan Birman

How To Reduce the Number of VIP Instances using Accessor Classes

In this post I demonstrate how to use parameterization and accessor classes in order to reduce a variable number of VIP instances to a single VIP instance. The implementation I describe might improve the overall performance of the verification environment by reducing the number of threads and the amount of maintenance required (e.g. fewer instances, […]

Stefan Birman

Highlights of DVCon US 2017

DVCon US (Feb 27-Mar 2 2017, San Jose, California) has come to an end after another content-rich edition. Some of the highlights of the technical program AMIQ consultants enjoyed attending are provided below. Hot Topics The main highlight of the conference by far was the emerging Portable Stimulus Standard (PSS), which was presented through a […]

AMIQ Education Program

Pre-Silicon Verification Course at Politehnica University of Timișoara

I am proud to announce an exciting new development in the Romanian higher education system: Oana Boncalo, Assistant Professor in the Computer Engineering Department, Politehnica University of Timișoara, has begun teaching the Verification and Validation of Hardware Systems, a course that introduces students to pre-silicon digital hardware verification methods. I think this is the first […]

Stefan Birman

Functional Coverage Patterns: The Counter

This post explains the functional verification of counters and it is part of a series of posts exploring functional coverage patterns. The first post in the series was Functional Coverage Patterns: Bitwise Coverage. Table of contents What is a Counter? Counter Verification Regarding Synchronicity Reset Value Coverage Clear Value Coverage Overflow and Underflow Policy Coverage […]