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

Recommended Articles

Recommended Articles – October 2016

New entry on our list: FPGASite is a nice resource for FPGA/VHDL enthusiasts. Claudio Avi Cham, the owner of the website, shows how to implement an arbiter in VHDL: FPGASite: VHDL Arbiter Part 1, Part 2, Part 3 What does a Functional Verification Engineer (FVE) do and how can you become an FVE? Stefan Birman, […]

Stefan Birman

Pre-Silicon Digital Functional Verification Engineer – The Job Description

This post (PDF version ) provides a technical overview of the job requirements for Pre-silicon Digital Functional Verification Engineer (FVE) positions. This post is complemented by a more in-depth post on the soft skills, joys and challenges of FVEs. Table of Contents Looking for a Good Start to Your Career? Your Chance to Be Part […]

AMIQ Consulting

amiq_i2c – ‘e’ Verification Component for I2C Protocol

AMIQ released the amiq_i2c eVC (e-Language Verification Component) on GitHub The eVC is available to the verification community for free under the Apache License 2. The purpose of the amiq_i2c eVC is to model the I2C protocol, supporting all the features of the I2C protocol such as: multiple masters multiple slaves arbitration using SDA line […]

Recommended Articles

Recommended Articles – September 2016

Keisuke Shimizu, from ClueLogic, explains in his UVM tutorial series, how you can use register callbacks to implement side effects inside the UVM register model: ClueLogic: UVM Tutorial for Candy Lovers – 36. Register Callbacks Special attention should be payed to loop variables, as their behavior depends on how the array dimensions are specified at […]