The Strong Mutual Impact between Philips Research and ICCAD

We briefly discuss the influence of the International Conference on Computer-Aided Design (ICCAD) on the research program carried out at Philips Research over the past twenty years. We highlight some of the developments in the areas of simulated annealing, media-processor design, logic synthesis, and formal verification.

[1]  C. D. Gelatt,et al.  Optimization by Simulated Annealing , 1983, Science.

[2]  E.H.L. Aarts,et al.  Efficiency improvements for force-directed scheduling , 1992, 1992 IEEE/ACM International Conference on Computer-Aided Design.

[3]  Huang,et al.  AN EFFICIENT GENERAL COOLING SCHEDULE FOR SIMULATED ANNEALING , 1986 .

[4]  Charles E. Leiserson,et al.  Retiming synchronous circuitry , 1988, Algorithmica.

[5]  Emile H. L. Aarts,et al.  A new polynomial time cooling schedule , 1985 .

[6]  Wim F. J. Verhaegh,et al.  PHIDEO: High-level synthesis for high throughput applications , 1995, J. VLSI Signal Process..

[7]  J. Kettenis,et al.  A video signal processor for motion-compensated field-rate upconversion in consumer television , 1996, 1996 IEEE International Solid-State Circuits Conference. Digest of TEchnical Papers, ISSCC.

[8]  A. Sangiovanni-Vincentelli,et al.  The TimberWolf placement and routing package , 1985, IEEE Journal of Solid-State Circuits.

[9]  E.H.L. Aarts,et al.  Area optimization of multi-functional processing units , 1992, 1992 IEEE/ACM International Conference on Computer-Aided Design.

[10]  Emile H. L. Aarts,et al.  Scheduling in programmable video signal processors , 1991, 1991 IEEE International Conference on Computer-Aided Design Digest of Technical Papers.

[11]  Richard P. Kleihorst,et al.  Mpeg2 Video Encoding in Consumer Electronics , 1997, J. VLSI Signal Process..

[12]  Chantal Ykman-Couvreur,et al.  PHIFACT-a Boolean preprocessor for multi-level logic synthesis , 1990, 1990 IEEE International Conference on Computer-Aided Design. Digest of Technical Papers.