Searching for authors named "Laurent Arditi" – sorted by Relevance.
-
Formal verification of microprocessors: a first experiment with the Coq proof assistant
- Formal verication of microprocessors: a rst experiment with the Coq proof assistant Laurent Arditi
- Cited by 1 (0 self) – Add To MetaCart
-
A Framework for Systematic Specification and Efficient Verification of Processors
- A Framework for Systematic Specification and Efficient Verification of Processors Laurent Arditi H
- Add To MetaCart
-
Software modeling of a DSP-based architecture using Esterel and UML methodologies to improve validation and enable formal verification
- validation and enable formal verification Laure Leblanc, Laurent Arditi and Gael Clave Texas Instruments
- Add To MetaCart
-
Coverage Directed Generation of System-Level Test Cases for the Validation of a DSP System
- Coverage Directed Generation of System-Level Test Cases for the Validation of a DSP System Laurent
- Add To MetaCart
-
An Object-Oriented Framework for the Formal Verification of Processors
- An Object-Oriented Framework for the Formal Verification of Processors Laurent Arditi and H
- Cited by 1 (1 self) – Add To MetaCart
-
*BMDs Can Delay the Use of Theorem Proving for Verifying Arithmetic Assembly Instructions
- *BMDs Can Delay the Use of Theorem Proving for Verifying Arithmetic Assembly Instructions Laurent
- Cited by 10 (0 self) – Add To MetaCart
-
Towards Verifying VHDL Descriptions of Processors
- Towards Verifying VHDL Descriptions of Processors Laurent Arditi H'el`ene Collavizza Universit
- Add To MetaCart
-
An experiment in using Esterel Studio for modeling the control of mobile communication architectures
- architectures Hedi BOUFAIED, Arnaud CAVANIE, Bernard DION, Sylvan DISSOUBRAY Simulog 1 Laurent ARDITI, Gaël
- Add To MetaCart
-
Formal Verification of the TORCH Microprocessor RTL Design
- Formal Verification of the TORCH Microprocessor RTL Design Draft Jeffrey Su 1 , Laurent Arditi
- Cited by 1 (1 self) – Add To MetaCart
-
Using Esterel and Formal Methods to Increase the Confidence in the Functional Validation of a Commercial DSP
- Commercial DSP Laurent Arditi 1 Amar Bouali 2 Hedi Boufaied 1 Gael Clave 1 Mourad Hadj-Chaib 1
- Cited by 10 (6 self) – Add To MetaCart

