• H
  • HLDVT
  • 2002
  • Seventh IEEE International High-Level Design Validation and Test Workshop (HLDVT'02)
Advanced Search 
Seventh IEEE International High-Level Design Validation and Test Workshop (HLDVT'02)
Cannes, France
October 27-October 29
ISBN: 0-7803-7655-2
Table of Contents
Hldvt
D. Siguenza-Tortosa, IDCS, Tampere Univ. of Technol., Finland
J. Nurmi, IDCS, Tampere Univ. of Technol., Finland
pp. 1-6
A. Braun, Tubingen Univ., Germany
J. Gerlach, Tubingen Univ., Germany
W. Rosenstiel, Tubingen Univ., Germany
pp. 23-27
G. Berry, Esterel Technol., Villeneuve-Loubet, France
L. Blanc, Esterel Technol., Villeneuve-Loubet, France
A. Bouali, Esterel Technol., Villeneuve-Loubet, France
J. Dormoy, Esterel Technol., Villeneuve-Loubet, France
pp. 36-41
G. Norman, Sch. of Comput. Sci., Univ. of Birmingham, UK
D. Parker, Sch. of Comput. Sci., Univ. of Birmingham, UK
M. Kwiatkowska, Sch. of Comput. Sci., Univ. of Birmingham, UK
S.K. Shukla, Esterel Technol., Villeneuve-Loubet, France
pp. 45-50
M. Bacivarov, TIMA Lab., SLS Group, Grenoble, France
Sungjoo Yoo, TIMA Lab., SLS Group, Grenoble, France
A.A. Jerraya, TIMA Lab., SLS Group, Grenoble, France
pp. 51-56
I. Smaili, TTTech Computertechnik AG, Vienna, Austria
A. Ademaj, TIMA Lab., SLS Group, Grenoble, France
pp. 57-62
M. Sonza Reorda, Dipt. di Automatica e Informatica, Politecnico di Torino, Italy
M. Violante, Dipt. di Automatica e Informatica, Politecnico di Torino, Italy
N. Mazzoca, TIMA Lab., SLS Group, Grenoble, France
S. Venticinque, Esterel Technol., Villeneuve-Loubet, France
pp. 63-68
M. Mousavi, Eindhoven Univ. of Technol., Netherlands
G. Russello, Eindhoven Univ. of Technol., Netherlands
M. Chaudron, Eindhoven Univ. of Technol., Netherlands
M. Reniers, Eindhoven Univ. of Technol., Netherlands
T. Basten, Eindhoven Univ. of Technol., Netherlands
pp. 69-74
D. Malandain, STMicroelectronics, Rousset, France
P. Palmen, IBM Res. Lab., Haifa, Israel
M. Taylor, IBM Res. Lab., Haifa, Israel
M. Aharoni, Eindhoven Univ. of Technol., Netherlands
Y. Arbetman, Eindhoven Univ. of Technol., Netherlands
pp. 93-98
P. Mishra, Architectures & Compilers for Embedded Syst. (ACES), California Univ., Irvine, CA, USA
N. Dutt, Architectures & Compilers for Embedded Syst. (ACES), California Univ., Irvine, CA, USA
pp. 99-103
R. Fraer, Logic & Validation Technol., Intel Corp., Haifa, Israel
S. Ikram, Architectures & Compilers for Embedded Syst. (ACES), California Univ., Irvine, CA, USA
G. Kamhi, IBM Res. Lab., Haifa, Israel
T. Leonard, Eindhoven Univ. of Technol., Netherlands
A. Mokkedem, Eindhoven Univ. of Technol., Netherlands
pp. 107-110
A. Rosenmann, Dept. of Logic & Validation Technol., Intel, Haifa, Israel
Z. Hanna, Dept. of Logic & Validation Technol., Intel, Haifa, Israel
pp. 111-114
Z. Khasidashvili, Design Technol. Div., Intel, Haifa, Israel
J. Moondanos, Dept. of Logic & Validation Technol., Intel, Haifa, Israel
Z. Hanna, IBM Res. Lab., Haifa, Israel
pp. 115-120
H.N. Nguyen, Design Technol. Div., Intel, Haifa, Israel
P. Koumou, Dept. of Logic & Validation Technol., Intel, Haifa, Israel
B. Candaele, IBM Res. Lab., Haifa, Israel
M. Sarlotte, Eindhoven Univ. of Technol., Netherlands
C. Antoine, Eindhoven Univ. of Technol., Netherlands
pp. 121-124
Xi Chen, California Univ., Riverside, CA, USA
Fang Chen, California Univ., Riverside, CA, USA
H. Hsieh, California Univ., Riverside, CA, USA
F. Balarin, Eindhoven Univ. of Technol., Netherlands
Y. Watanabe, Eindhoven Univ. of Technol., Netherlands
pp. 125-130
C.A.M. Marcon, California Univ., Riverside, CA, USA
F. Hessel, California Univ., Riverside, CA, USA
A.M. Amory, California Univ., Riverside, CA, USA
L.H.L. Ries, Eindhoven Univ. of Technol., Netherlands
F.G. Moraes, Eindhoven Univ. of Technol., Netherlands
pp. 133-138
H. Saito, Res. Center for Adv. Sci. & Technol., Univ. of Tokyo, Japan
T. Ogawa, California Univ., Riverside, CA, USA
T. Sakunkonchak, California Univ., Riverside, CA, USA
M. Fujita, Eindhoven Univ. of Technol., Netherlands
T. Nanya, Eindhoven Univ. of Technol., Netherlands
pp. 139-144
R. Emek, Res. Lab., IBM Corp., Haifa, Israel
I. Jaeger, Res. Lab., IBM Corp., Haifa, Israel
Y. Naveh, Res. Lab., IBM Corp., Haifa, Israel
G. Bergman, Res. Lab., IBM Corp., Haifa, Israel
G. Aloni, Res. Lab., IBM Corp., Haifa, Israel
Y. Katz, Res. Lab., IBM Corp., Haifa, Israel
M. Farkash, Res. Lab., IBM Corp., Haifa, Israel
I. Dozoretz, Res. Lab., IBM Corp., Haifa, Israel
A. Goldin, Res. Lab., IBM Corp., Haifa, Israel
pp. 145-150
A. Wakefield, Synopsys Professional Services, Marlboro, MA, USA
B.J. Mohd, Synopsys Professional Services, Marlboro, MA, USA
pp. 151-155
M. Wannemacher, Philips Semicond., Zurich, Switzerland
M. Munteanu, Philips Semicond., Zurich, Switzerland
S. Perret, Philips Semicond., Zurich, Switzerland
R. Singer, Philips Semicond., Zurich, Switzerland
pp. 156-161
M.-L. Flottes, Lab. d'Informatique de Robotique, CNRS, Montpellier, France
R. Poirier, Lab. d'Informatique de Robotique, CNRS, Montpellier, France
B. Rouzeyre, Lab. d'Informatique de Robotique, CNRS, Montpellier, France
pp. 165-168
G. Jervan, Embedded Syst. Lab., Linkoping Univ., Sweden
Z. Peng, Embedded Syst. Lab., Linkoping Univ., Sweden
O. Goloubeva, Lab. d'Informatique de Robotique, CNRS, Montpellier, France
M.S. Reorda, Philips Semicond., Zurich, Switzerland
M. Violante, Res. Lab., IBM Corp., Haifa, Israel
pp. 169-174
Fei Xin, Massachusetts Univ., Amherst, MA, USA
I.G. Harris, Massachusetts Univ., Amherst, MA, USA
pp. 175-180
P. Gawkowski, Inst. of Comput. Sci., Warsaw Univ. of Technol., Poland
J. Sosnowski, Inst. of Comput. Sci., Warsaw Univ. of Technol., Poland
pp. 181-186
Author Index (PDF)
pp. 187-188
Usage of this product signifies your acceptance of the Terms of Use.