Searching for authors named "Laurent Arditi" – sorted by Relevance.
10 documents found, showing 1 through 10.
-
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
Showing 1 through 10.
