A Practical Approach to the Formal Verification of SoCs with Symbolic Model-CheckingReport as inadecuate




A Practical Approach to the Formal Verification of SoCs with Symbolic Model-Checking - Download this document for free, or read online. Document in PDF available to download.

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





Author: Emil Dumitrescu -

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



DOWNLOAD PDF




Related documents