A Practical Approach to the Formal Verification of SoCs with Symbolic Model-CheckingReportar como inadecuado




A Practical Approach to the Formal Verification of SoCs with Symbolic Model-Checking - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

1 Ampère 2 POP ART - Programming languages, Operating Systems, Parallelism, and Aspects for Real-Time Inria Grenoble - Rhône-Alpes

Abstract : The successful application of model-checking to industrial designs calls for a minimal set of efficiency criteria. This work addresses these issues, based on the linear-time model-checking verification of an instruction cache controller designed by ST Microelectronics.

Mots-clés : Systèmes sur une puce Systèmes embarqués Vérification formelle





Autor: Emil Dumitrescu -

Fuente: https://hal.archives-ouvertes.fr/



DESCARGAR PDF




Documentos relacionados