Teo Vasilache

C++ Implementation of Functional Coverage for SystemC

We release Functional Coverage for SystemC (FC4SC) library which provides mechanisms for functional coverage definition, collection and reporting. FC4SC is a header-only, C++2011-based library, that can be integrated with C++ applications, including SystemC models. It’s primary use case is to measure the level of exercise of SystemC models, basically to measure how many of model’s […]

AMIQ Consulting

CoverageLens 2.0 Release

Coverage Lens (CL) is a C++ utility that checks if a specified set of RTL code coverage items (e.g. statement, condition etc.) is covered by querying an UCIS compliant coverage database. The main functionality is described in the How To Automate Code Coverage analysis with Coverage Lens article. CoverageLens 2.0 release includes support for functional […]

Teo Vasilache

How To Automate Code Coverage analysis with Coverage Lens

Sometimes code coverage is required to finalize the verification. By running only random tests most designs will be left with uncovered sections. Trying to fill up the last bits of code coverage you end up either writing directed tests to reach corner cases, or excluding certain “unreachable” sections from coverage statistics. Writing directed tests to […]

Teo Vasilache

YAMM 2.0 Release is Available

Amiq is pleased to announce the release of the YAMM 2.0! The highlight of this release is a C++ implementation that provides the same API as the SystemVerilog one. Download Integrate YAMM with your C++ project Performance SystemVerilog Updates Roadmap Download You can download the YAMM library from GitHub. For getting up to speed you […]

Recommended Articles

Recommended Articles – December 2015

One or more classes with the same name in different packages may lead to ambiguous log messages. Verification Gentleman found a way to avoid confusion. VerificationGentleman: Packages, Class Names and UVM AMIQ continues it’s series of frameworks development and contributions to the verification community. This time a register model framework was developed mainly for the […]

Vlad Mocanu, Tiberiu Petre

C++ Register Modeling Framework

Some time ago we developed a lightweight register modeling framework, amiq_rm, similar with the uvm_reg and vr_ad libraries. We implemented amiq_rm in C++ such that we could seamlessly integrate it with both SystemC and C++-based projects. Here are the main features of amiq_rm: Simple and intuitive API (HTML documentation included) You can group registers into […]