Accueil > Logiciel > Test & Validation

test-validation

QA Systems Logiciel QA-MISRA

Avec QA Systems, les règles de codage Misra sont analysées en statique dès l’écriture du code
Publié le 30-08-2022 par Francois Gauthier
Test & Validation QA Systems
QA-Misra, tel est le nom donné par l’éditeur allemand d’environnements de test logiciel QA Systems à un outil d’analyse statique de code destiné à vérifier les règles de codage utilisées par les équipes de...
Imperas Bibliothèque de converture fonctionnelle en open source

Imperas publie en open source une bibliothèque SystemVerilog de couverture fonctionnelle pour processeur RISC-V
Publié le 30-08-2022 par Francois Gauthier
Test & Validation Imperas
Destiné aux concepteurs de cœurs de processeur RISC-V, la bibliothèque en open source de couverture fonctionnelle de code SystemVerilog RISC-V du britannique Imperas fournit un accès complet  à un fichier source pour la vérification avancée...
publicite
Recevez notre newsletter
Inscrivez-vous
Suivez-nous
Entreprises
Microchip
NXP
Infineon
Advantech
ADLink
Congatec
Lattice
Sysgo
AMD
Elektrobit
Actility
BlackBerry
Krono-Safe
SiFive
Thématiques
Sous-système
Conjoncture
Composant
Développement
Plate-forme
Perspective
Middleware
Architecture
Connectivité
Rachat
Communication
Manifestation
Objet de la semaine
Start-up