René DAVID
Présentation
Publications
Publications
Hardware Generation of Random Single Input Change Test SequenceJournal of Electronic Testing: : Theory and Applications, 2002, 18 (2), pp.145-157. ⟨10.1023/A:1014941525735⟩ |
|
|
|
Delay Fault Testing: Choosing Between Random SIC and Random MIC Test SequencesJournal of Electronic Testing: : Theory and Applications, 2001, 17 (3/4), pp.233-241. ⟨10.1023/A:1012259227622⟩ |
Un duo grenoblois gagnant? L’intersection de l’Automatique et de l’InformatiquePatrimoine UGA Hors Murs, Nov 2021, Grenoble, France |
|
On Using Efficient Test Sequences for BISTVTS: VLSI Test Symposium, 2002, Monterey, CA, United States. pp.145-150 |
|
|
|
Test Intégré de Circuits Digitaux : Comparaison de deux types de Séquences de TestJournées des Doctorants, École Doctorale I2S, 2001, Montpellier, France. pp.158-160 |
On Hardware Generation of Random Single Input Change TestETW: European Test Workshop, May 2001, Saltsjöbaden, Sweden. pp.117-123 |
|
|
|
Delay Fault Testing: Choosing Between Random SIC and Random MIC Test SequencesETW: European Test Workshop, May 2000, Cascais, Portugal. pp.09-14, ⟨10.1109/ETW.2000.873772⟩ |
|
|
Test Intégré de Circuits Digitaux : Etude Comparative de l'Efficacité de deux types de Séquences de TestJNRDM: Journées Nationales du Réseau Doctoral de Microélectronique, LIRMM; CEM2, May 2000, Montpellier, France. pp.86-87 |
A history of research in fault tolerant computing at the Grenoble UniversityEvolution-of-Fault-Tolerant-Computing.-In-the-Honor-of-William-C.-Carter, 1987, Baden, Austria. pp.337-53 |
|
Random testing versus deterministic testing of RAMsFTCS-Digest-of-Papers.-16th-Annual-International-Symposium-on-Fault-Tolerant-Computing-Systems-Cat.-No.86CH2335-8, 1986, Vienna, Austria. pp.266-71 |
Discrete, Continuous, and Hybrid Petri NetsSpringer, pp.554, 2010, Robotics, 978-3-642-10668-2 |
|
De la logique câblée au calculateur industriel. Une aventure du Laboratoire d'Automatique de GrenobleEDA Publishing Association, Grenoble, 198 p., 2008 |
|
|
Random Adjacent Sequences: An Efficient Solution for Logic BISTSOC Design Methodologies, 90, Kluwer, pp.413-424, 2002, IFIP — The International Federation for Information Processing, 978-1-4757-6530-4. ⟨10.1007/978-0-387-35597-9_35⟩ |
|
|
Le système IRIS2021, pp.140 |
|
|
Réalisation de systèmes séquentiels asynchrones par interconnexion simple de cellules séquentielles identiquesModélisation et simulation. Université Joseph-Fourier - Grenoble I, 1969 |
|
|
Langages de programmation en commande numérique de machines-outilsModélisation et simulation. Université Joseph-Fourier - Grenoble I, 1969 |