Daniel Ciupitu

Coverage Aware Generation using e Language Normal Distribution Constraints

When defining coverage items we need to make a trade-off between the number of coverage buckets, their size and the simulation time required to get them covered. From our experience the solution is to generate items being aware of how they will be covered. For example if the coverage item has power-of-2 buckets, the generated […]

Florin Oancea

Migrating to UVM 1.2

A couple of days ago I watched a presentation on UVM 1.2 by Tom Fitzpatrick of Mentor Graphics posted on Verification Academy, and I thought to give it a try and port one of our verification environments based on UVM 1.1d. Here is what my experience has been, originally posted on Accellera. 1. Download UVM […]

Vlad Mocanu

AMIQ Sponsors the RoboLab Team for Robochallenge 2014

AMIQ sponsored the RoboLab team participation in the 7th edition of Robochallenge which took place in the main hallway of the Central Library of University Politehnica Bucharest, on the 9th of May, 2014. The RoboLab team competed in 3 categories: Micro-Sumo, Robo Football and The Best Technical Paper. Preparations The football field where the contest […]

Stefan Birman

Meet AMIQ Consulting Panelists at CDNLive Munich

We are participating at CDNLive Munich on May 19-21, 2014. Two of our consultants will be presenting in the Canvas Conversations section, on May 20, 2014 at 12:00pm. Aurelian Munteanu will talk about how to use regression automation in order to speed-up regression analysis in “Be Fast, Stay Informed!” and Daniel Ciupitu, about how to […]