Chapter "Formal Verification" - Archive ouverte HAL Accéder directement au contenu
Chapitre D'ouvrage Année : 2005

Chapter "Formal Verification"

Matthieu Moy

Résumé

This chapter is mostly an adaptation of the paper "LusSy: A Toolbox for the Analysis of Systems-on-a-Chip at the Transactional Level" to the context of the book written by my team in STMicroelectronics. It presents the toolchain LusSy and its application to formal verification of SystemC programs.
Fichier non déposé

Dates et versions

hal-00311014 , version 1 (12-08-2008)

Identifiants

  • HAL Id : hal-00311014 , version 1

Citer

Matthieu Moy. Chapter "Formal Verification". Frank Ghenassia. Transaction-Level Modeling with SystemC. TLM Concepts and Applications for Embedded Systems, Springer, 15 p., 2005, ISBN: 0-387-26232-6. ⟨hal-00311014⟩
95 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More