 | 2010 |
|---|
| 6 |       | Hamid Savoj,
David Berthelot,
Alan Mishchenko,
Robert K. Brayton:
Combinational techniques for sequential equivalence checking.
FMCAD 2010: 145-149 |
| 2002 |
|---|
| 5 | | David Berthelot,
Samit Chaudhuri,
Hamid Savoj:
An Efficient Linear Time Algorithm for Scan Chain Optimization and Repartitioning.
ITC 2002: 781-787 |
| 4 | | Emmanuel Chauveau,
Claire Lassudrie,
David Berthelot:
Analysis of Risks in a Software Improvement Programme.
PROFES 2002: 601-614 |
| 2001 |
|---|
| 3 | | David Berthelot,
Marie-Lise Flottes,
Bruno Rouzeyre:
A Method for Trading off Test Time, Area and Fault Coverage in Datapath BIST Synthesis.
J. Electronic Testing 17(3-4): 331-339 (2001) |
| 2000 |
|---|
| 2 | | David Berthelot,
Marie-Lise Flottes,
Bruno Rouzeyre:
BISTing data paths at behavioral level.
ITC 2000: 672-680 |
| 1999 |
|---|
| 1 | | David Berthelot,
Marie-Lise Flottes,
Bruno Rouzeyre:
BISTing Datapaths under Heterogeneous Test Schemes.
J. Electronic Testing 14(1-2): 115-123 (1999) |
Data released under the ODC-BY 1.0 license — See also our legal information page