FPL

Michal Servit Award

**Award Winners**
Year	Name	Sponsor
1998	Margaret Martonosi (Princeton University)	Virtual Computer Corp.
1999	Karam S. Chatha (University of Cincinnati)	Virtual Computer Corp.
2000	J. Ditmar, K. Torkelsson, A. Jantsch (Ericsson Radio Systems AB)	Virtual Computer Corp.
2001	Ernie Lin, Steven Wilton (University of British Columbia)	Virtual Computer Corp.
2002	Gordon Brebner (University of Edinburgh)	Quicksilver Tech

Michal Servit at dinner
at FPL96 in Darmstadt, Germany.

Doc. Ing. Michal Servit, CSc.

Data of Dr. Servit :

born: 17.12.1944 in Prague
deceased: 05.12.1997

degrees: Electrical Engineer: 1966
PhD: 1987

employment:
66-69: Research Inst. for Telecommunications, Prague
69-72: University of Agriculture, Prague
72-97: CVUT, engineer in the Computing Center, then asssistant
professor, since 1991 associate professor.

The fact that he took his PhD only after 21 years from graduation was due to political repression. He was banned from post graduate study because of political attitude of his father (formerly director of one of the Institutes of the Czechoslovak Academy of Sciences).

Research Interests:
CAD in electronics, VLSI design, graph theory, automata theory, heuristic algorithms, combinatorial optimization.

Professional activities:
Member of the Scientific Council, Faculty of Electrical Engineering. Correspondent of EUROMICRO Board. Member of IEEE. Member of IEEE Computer Society. Deputy Head of IEEE Czechoslovakia Section. General Chairman and Program Committee Member of the 4th International Workshop on Field Programmable Logic and Applications, Prague 1994. Program Committee Chairman of the 2nd Workshop on Design Methodologies for Microelectronics and Signal Processing, 1995. Organiszng Chair of Summer School on Standaeds in Design Automation of Electronic Systems, prague, 1996.

Major publications:

Servit, M.: Hazard Correction in Asynchronous Sequential Circuits Using Pulse Filters. IEEE Trans. Computers, Vol.22, No.11, 1973.
Servit, M.: Hazard Correction in Synchronous Sequential Circuits. IEEE Trans. Computers, Vol.24, No.3, 1975, pp.305-310.
Servit, M.: A Heuristic Method for Solving Weighted Set Covering Problems. Digital Processes, Vol.1, 1975, pp.177-182.
Servit, M.: Minimizing the Number of Feedthroughs in Two-Layer Printed Boards. Digital Processes, Vol.3, 1977, pp.177-183.
Servit, M. - Schmidt, J.: A LDS System for the Automated Design of NAND Networks. Proc. IFAC Symp. on Discrete Systems, Dresden, 1977, pp.194-203.
Servit, M. - Schmidt, J.: Experiments with Routing on Printed Circuit Boards. Computer Aided Design, Vol.12, No.5, 1980, pp.231-234.
Servit, M.: Heuristic Algorithms for Rectilinear Steiner Trees. Digital Processes, Vol.7, 1981, pp.21-32.
Servit, M.: Routing on Integrated Circuits and Printed Circuit Boards. Czechoslovak Scientific and Technical Society, Faculty of Electrical Engineering, Czech Technical University, Prague, 1988, 157 pp. (in Czech).
Servit,M.: Iterative Techniques of Global Routing. Proc. 2nd Hungarian Custom Circuit Conf. Szeged, 1989, pp.139-146.
Schmidt, J, Servit, M.: Modelling of the Real World in CAD Systems. In: Proceedings of MOP '89, Vol. 2, Vinn, 1989, pp.5-32, (in Czech).
Servit, M.: Routing on Gate Arrays with one Custom Interconnection Layer. In: Proc. Mideuropean Conference on Custom/Application Specific Integrated Circuits, Sopron, 1991, pp.323-330.
Servit, M. - Schmidt, J.: Iterative Approach to Global Routing. J. of Semicustom ICs, Vol.8, No.3, 1991, pp.18-24.

Servit, M. - Schmidt, J.: Strategy of One-And-Half Layer Routing. Microprocessing and Microprogramming, Vol.32, No.1, 1991, pp.417-424.

Publications 1994-1996:

Danek, J. - Drpal, F. - Pluhek, A. - Sali, Z. - Servit, M.: DOP - A Simple Processor for Custom Computing Machines. In: CTU Seminar 94. Prague: CTU. 1994. pp. 53-54.
Danek, J. - Drpal, F. - Pluhek, A. - Sali, Z. - Servit, M.: DOP - A Simple General Purpose Processor Cells for Custom Computing Machines. [Research Report]. Prague, CTU 1994. 53 pp.
Danek, J. - Pluhek, A. - Drpal, F. - Sali, Z. - Servit, M.: DOP - A Simple Processor for Custom Computing Machines. In: Journal of Microcomputer Applications. 17, (1994) pp. 239-253.
Danek, J. - Pluhek, A. - Servit, M.: The Architecture of a General-Purpose Processor Cell. In: Field-Programmable Logic -Architectures, Synthesis, Applications. Berlin: Springer. 1994. pp. 321-325.
Hartenstein, R. - Servit, M.: Field-Programmable Logic - Architectures, Synthesis and Applications. Berlin: Springer, 1994 - 434 pp.
Muzik, Z. - Tomkeviius, A. - Servit, M.: Integration of Replacement and Global Routing. In: CTU Seminar 94. Prague: CTU. 1994. pp. 39-40.
Servit, M. - Muzik, Z.: Integrated Layout Synthesis for FPGAS. In: Field-Programmable Logic - Architectures, Synthesis, Applications. Berlin: Springer. 1994. pp. 23-33.
Servit, M. - Zamazal, J.: Formal Verification and Boolean Satisfiability. In: CTU Seminar 94. Prague: CTU. 1994. pp. 35-36.
Servit, M. - Zamazal, J.: Decomposition and Reduction of the Covering Problem. In: CTU Seminar 94. Prague: CTU. 1994. pp. 37-38.
Tomkeviius, A. - Muzik, Z. - Servit, M.: Integrated Approach to Placement and Global Routing in Gate Arrays. [Research Report]. Prague, CTU, Faculty of Electrical Engineering, Department of Computer Science and Engineering 1994. 36 pp.
Drpal, F. - Danek, J. - Pluhek, A. - Servit, M.: Implementation of a General-Purpose Processor Macro. In: Proceedings of Workshop on Design Methodologies for Microelectronics. Bratislava: Istitute of Computer Systems, Slovak Academy of Sciences. 1995. pp. 89- 97.
Schmidt, J. - Servit, M.: A CAD System for Automatic Designs of FPGA-based Communication Processors. al Report]. Prague, COPRODES 1995. 3 pp.
Schmidt, J. - Servit, M.: Architecture Definition - Preliminary Version. [Research Report]. Prague, COPRODES 1995. 17 pp.
Schmidt, J. - Servit, M.: Exploitalion Strategy. [Research Report]. Prague, COPRODES 1995. 6 pp.
Servit, M. - Zamazal, J.: Design of Efficient Heuristic Algorithm for Generalized Covering Problems. In: System Modelling and Optimization - Abstracts Vol.II. Prague: Czech Academy of Science. 1995. pp. 725-728.
Servit, M. - Zamazal, J.: Decomposition and Reduction: General Problem-Solving Paradigms. In: Journal on VLSI Design. 3, No. 3-4, (1995) pp. 359-371.
Servit, M. - Zemnek, P.: Parallel Algorithm for Solving the Steiner Tree Problem. In: Workshop 95. Prague: CTU. 1995. pp. 237-238.
Danek, J. - Drpal, F. - Pluhek, A. - Servit, M.: Implementation of a General-Purpose Processor Macro. In: Workshop 96. Prague: CTU. 1996. pp. 245-246.
Schmidt, J. - Servit, M.: Architecture Definition. [Research Report]. Prague, COPRODES 1996. 33 pp.
Schmidt, J. - Servit, M.: Exploitation Report. [Research Report]. Prague, COPRODES 1996. 5 pp.
Schmidt, J. - Servit, M.: Architecture Definition. [Research Report]. Prague, COPRODES 1996. 35 pp.
Servit, M. - Muzik, Z. - Schmidt, J.: Timing-Driven Layout. [Research Report]. Prague, COPRODES 1996. 17 pp.
Servit, M. - Schmidt, J.: Copernicus COPRODES: Project Information. In: Workshop 96. Prague: CTU. 1996. pp. 229-230.