|
马上注册,结交更多好友,享用更多功能,让你轻松玩转社区。
您需要 登录 才可以下载或查看,没有账号?注册
x
CONTRIBUTORS
Prof. Anceau received the engineering degree from the Institut National Polytechnique
de Grenoble (INPG) in 1967, and the Docteur d’Etat degree in 1974 from
the University of Grenoble. He started his research activity in 1967 as member
of the Comite National pour la Recherche Scientifique (CNRS) in Grenoble. He
became Professor at INPG in 1974 where he led a research team on microprocessor
architecture and VLSI design. In 1984, he moved to industry (BULL company,
close to Paris) to lead a research team on Formal Verification for Hardware and
Software. The first industrial tool for hardware formal verification and the technique
of symbolic state traversal for finite state machines was developed in this group. In
1996 he took his present position as Professor at Conservatoire National des Arts et
Metiers (CNAM) in Paris. Since 1991 he has also been a Professor at Ecole Polytechnique
in Palaiseau, France. His main domains of interest are: microprocessor
architecture, VLSI design, hardware formal verification, and research management
and strategy. He has given many talks on these subjects. He his the author of many
conference papers and of a book entitled “The Architecture of Microprocessors”
published by Addison-Wesley in 1986. He launched the French Multi-Chip-Project,
called CMP, in 1981.
Dr. Don Bouldin is Professor of Electrical & Computer Engineering at the
University of Tennessee. He has served as an instructor for eight NSF-sponsored
faculty enhancement short courses on synthesis and FPGAs and presented seminars
on this subject in India, Canada, Thailand, Argentina, Brazil and South Korea. He
was the 1995-96 Editor-in-Chief of the IEEE Transactions on VLSI Systems and
Technical Program Chairman for ISCAS-96. Dr. Bouldin was named a Fellow of
the IEEE for contributions to the design of special-purpose architectures using VLSI
processors. He has authored more than 230 publications and been the Principal
Investigator for over nine million dollars of sponsored research.
Ahmed Amine Jerraya (A’94) received the Engineer degree from University
of Tunis in 1980 and the D.E.A., “Docteur Ingénieur” and the “Docteur d’Etat”
degrees from the University of Grenoble in 1981, 1983 and 1989, respectively, all
in computer sciences.
In 1980 he became a Member of the Staff of the Laboratory IMAG in Grenoble,
working on CAD for VLSI. In 1986, he held a full research position with CNRS
(Centre National de la Recherche Scientifique). From April 1990 to March 1991,
he was a Member of the Scientific Staff at Bell-Northern Research Ltd., in Canada,
working on linking system design tools and hardware design environments. In 1991, |
|