Author(s) : R. Brayton - J. Roychowdhury - R. Y. Zhang - I. L. Markov - R. Murgai - Y. Vizel - S. A. Seshia - T. Villa - L. Amaru - P. Vaidyanathan - M. Fujita - J. Cortadella - V. N. Kravets - J. Sifakis - P. Nuzzo - L. P. Carloni -