Topics
ST MicroelectronicsCompany
International audienceThe 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
Steadily increasing design sizes, make the verification a bottleneck in modern design flows of digit...
Formal verification of hardware and software systems has long been recognized as an essential step i...
In this paper we present our results and experiences of using symbolic model checking to study the s...
Abstract: The successful application of model-checking to industrial designs calls for a minimal set...
The successful application of model-checking to industrial designs calls for a minimal set of effici...
ISBN: 076951944XThe successful application of model-checking to industrial designs requires methods ...
AbstractThe design of correct computer systems is extremely difficult. However, it is also a very im...
The design of correct computer systems is extremely difficult. However, it is also a very important ...
. We present a new approach to the verification of hardware systems with data dependencies using tem...
Abstract. We present a new approach to the verification of hardware systems with data dependencies u...
Formal verification is proposed to ensure the correctness of the design and make functional verifica...
AbstractA methodology for system-level hardware verification based on compositional model checking i...
With increasing design complexity, verification becomes a more and more important aspect of the desi...
Formal verification has had a significant impact on the semiconductor industry, particularly for com...
To improve automated verification techniques for ANSI-C software, I examine temporal logics for desc...
Steadily increasing design sizes, make the verification a bottleneck in modern design flows of digit...
Formal verification of hardware and software systems has long been recognized as an essential step i...
In this paper we present our results and experiences of using symbolic model checking to study the s...
Abstract: The successful application of model-checking to industrial designs calls for a minimal set...
The successful application of model-checking to industrial designs calls for a minimal set of effici...
ISBN: 076951944XThe successful application of model-checking to industrial designs requires methods ...
AbstractThe design of correct computer systems is extremely difficult. However, it is also a very im...
The design of correct computer systems is extremely difficult. However, it is also a very important ...
. We present a new approach to the verification of hardware systems with data dependencies using tem...
Abstract. We present a new approach to the verification of hardware systems with data dependencies u...
Formal verification is proposed to ensure the correctness of the design and make functional verifica...
AbstractA methodology for system-level hardware verification based on compositional model checking i...
With increasing design complexity, verification becomes a more and more important aspect of the desi...
Formal verification has had a significant impact on the semiconductor industry, particularly for com...
To improve automated verification techniques for ANSI-C software, I examine temporal logics for desc...
Steadily increasing design sizes, make the verification a bottleneck in modern design flows of digit...
Formal verification of hardware and software systems has long been recognized as an essential step i...
In this paper we present our results and experiences of using symbolic model checking to study the s...
Add to ORKG