A C/C++-based functional verification framework using the SystemC verification library_

This paper describes SoCBase-VL, which is a C/C++ based integrated framework for SoC functional verification. It has a layered architecture which provides easier testbench description, automatic verification of bus interfaces and seamless testbench migration. This framework does not require verification engineers to learn other verification languages as long as they have sufficient knowledge on both C/C++ and SystemC. We have confirmed its usefulness by applying it to a TFT-LCD Controller verification

A C/C++-based Functional Verification Framework using the SystemC Verification Library

Abstrac

Vérification fonctionnelle et validation de performance architecturale pour des tissus d'interconnexion

Vérification -- Validation de performance -- Tissu d'interconnexion -- Statistiques pertinentes aux tissus d'interconnexion -- XTSC de Tensilica -- Environnement de validation/vérification à haut niveau -- Concepts et description de l'environnement de validation -- Concepts et description de l'environnement de vérification -- Dualité de l'environnement de vérification et validation de performance et simulation -- Collecte de données et calculs de statistiques -- Intégration de modèles de trafic complémentaires -- Intégration d'une application complète matériel-logiciel -- Intégration d'un modèle de trafic synthétique à l'environnement -- Résultats -- Méthode de conception qui englobe la validation -- Résultats obtenus avec l'environnement à haut niveau