Laurent Arditi

Publication Activity (10 Years)

Years Active: 1995-2004
Publications (10 Years): 0

Publications

Laurent Arditi, Gérard Berry, Michael Kishinevsky
Late Design Changes (ECOs) for Sequentially Optimized Esterel Designs. FMCAD (2004)
Laurent Arditi, Hédi Boufaïed, Arnaud Cavanié, Vincent Stehlé
Coverage Directed Generation of System-Level Test Cases for the Validation of a DSP System. FME (2001)
Laurent Arditi, Gaël Clavé
A semi-formal methodology for the functional validation of an industrial DSP system. ISCAS (2000)
Laurent Arditi
BMDs Can Delay the Use of Theorem Proving for Verifying Arithmetic Assembly Instructions. FMCAD (1996)
Laurent Arditi, Hélène Collavizza
Towards verifying VHDL descriptions of processors. EURO-DAC (1995)
Laurent Arditi, Hélène Collavizza
An Object-Oriented Framework for the Formal Verification of Processors. ECOOP (1995)