|
|
2007
Best Paper Award
Design Automation Conference (DAC 2007)
Abhijit Davare, Qi Zhu, Marco Di Natale, Claudio Pinello , Sri Kanajan, and Alberto Sangiovanni-Vincentelli
Period Optimization for Hard Real-time Distributed Automotive Systems 
Best Paper Award
Real Time Applications Symposium 2007
Marco Di Natale, Wei Zheng, Claudio Pinello , Paolo Giusto, Alberto Sangiovanni-Vincentelli
Optimizing end-to-end latencies by adaptation of the activation events in distributed automotive systems
SAE (Society of Automotive Engineers) award and the 2007 Arch T. Colwell Merit Award
Architecture Exploration for Time-Critical and Cost-Sensitive Distributed System
Marco Dinatale, Paolo Giusto, Sri Kanajan, Claudio Pinello, Patrick Popp
2006
Best Paper Award
IFIP International Conference on Very Large Scale Integration (VLSI-SoC 2006)
Luis Silva, L.M. Silveira, and Joel Phillips
Variation Aware, Library Compatible Delay Modeling Strategy
Best Paper Award, Front-End Design
Design Automation Conference (DAC 2006)
Qi Zhu, Nathan Kitchen, Andreas Kuehlmann , and Alberto Sangiovanni-Vincentelli
SAT Sweeping Using Local Observability Don't-Cares
Best Paper Award
Cadence Technical Conference (CTC 2006)
Xiaoqun Du, Andreas Kuehlmann , Robert P. Kurshan, Ken McMillan , and Wonhong Nam
2005
IEEE/ACM William J. McCalla ICCAD Best Paper Award
IEEE/ACM International Conference on Computer Aided Design (ICCAD 2005)
Zhenhai Zhu
FastSies: A Fast Stochastic Integral Equation Solver for Modeling Rough Surface Effects
Best Paper Award
2005 IBM Verification Conference
Rahul Agarwal , Liqiang Wang, and Scott D. Stoller
Detecting Potential Deadlocks with Static Analysis and Runtime Monitoring
Best Paper Award
2005 International Symposium on Low Power Electronics and Design (ISLPED 2005)
Z. Guo, S. Balasubramanian, R. Zlatanovici, T.-J. King, and B. Nikolic
FinFET-Based SRAM Design
2004
Best Paper Award
IEEE International Conference on Computer Design (ICCD 2004)
Donald Chai and Andreas Kuehlmann
Circuit-Based Preprocessing of ILP and Its Applications in Leakage Minimization and Power Estimation
Best Paper Award
Cadence Technical Conference (CTC 2004)
Joel Phillips
Best Paper Award
IEEE/ACM Design Automation and Test in Europe Conference and Exposition (DATE 2004)
Joel Phillips and L. Miguel Silveira
Poor Man's TBR: A Simple Model Reduction Scheme
2003
Award for Distinguished Contributions to Research and Technology Transfer
Cadence Berkeley Laboratories, Berkeley, California, USA
Eugene Goldberg
Competition winner in the categories of 'Only Satisfiable' and 'Satisfiable and Unsatisfiable' Industrial Benchmarks
International Conference on Theory and Applications of Satisfiability Testing (SAT 2003)
Eugene Goldberg and Yakov Novikov
Forklift
IEEE Fellow
Institute of Electrical and Electronics Engineers, Inc. (IEEE), USA
Andreas Kuehlmann
2002
Outstanding Paper Award
Symposium on Integrated Circuits and System Design (SBCCI 2002)
Carlos P. Coehlo, Joel Phillips , and L. Miguel Silveira
On Generating Compact, Passive Models of Frequency-Described Systems
Best Paper Award, Design Tools
ACM/IEEE Design Automation Conference (DAC 2002)
Joel Phillips , Luca Daniel, and L. Miguel Silveira
Guaranteed Passive Balancing Transformations for Model Order Reduction
Competition winner in the category of 'Satisfiable Handmade Benchmarks'
International Conference on Theory and Applications of Satisfiability Testing (SAT 2002)
Eugene Goldberg and Yakov Novikov
BerkMin
Best Paper Award
IEEE/ACM Design Automation and Test in Europe Conference and Exposition (DATE 2002)
Eugene Goldberg , Mukul R. Prasad, and Robert K. Brayton
Using Problem Symmetry in Search Based Satisfiability Algorithms
Arun Kumar Choudhury Best Paper Award
IEEE/ACM Asia and South Pacific Design Automation Conference and the International Conference on VLSI Design (ASP-DAC / VLSI Design 2002)
Christoph Albrecht , Andrew B. Kahng, Ion Mändoiu, and Alexander Zelikovsky
Floorplan Evaluation with Timing-Driven Global Wireplanning, Pin Assignment, and Buffer/Wire Sizing
2000
Best Paper Award, Analog/RF/Electrical Modeling and Simulation
ACM/IEEE Design Automation Conference (DAC 2000)
Joel Phillips and Baolin Yang
A Multi-Interval Chebyshev Collocation Method for Efficient High-Accuracy RF Circuit Simulation
Best Paper Award
Cadence Technical Conference (CTC 2000)
Joel Phillips
IBM Research Fellowship
Claudio Pinello
1999
Allen Newell Award for Research Excellence
Carnegie Mellon University
Randall R. Bryant, Edmund M. Clarke, E. Allen Emerson, and Ken McMillan
Symbolic Model Checking
First prize at the Romanian National Design Contest for Analog Circuits
Radu Zlatanovici
Cadence Technical Conference Best Paper Award
Designing Digital Video Systems: Modeling and Scheduling
H.J.H.N. Kenter, Claudio Passerone, W. Smith, Yosinori Watanabe
1998
ACM Kanellakis Award for Theory and Practice
Randall R. Bryant, Edmund M. Clarke, E. Allen Emerson, and Ken McMillan
Symbolic Model Checking
Best Paper Award
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Eric Lehman, Yosinori Watanabe , Joel Grodstein, and Heather Harkness
Logic Decomposition During Technology Mapping
First prize at the Romanian National Design Contest for Analog Circuits
Radu Zlatanovici
1997
Best Paper Award
ACM/IEEE Design Automation Conference (DAC 1997)
Andreas Kuehlmann and Florian Krohm
Equivalence Checking Using Cuts and Heaps
Dissertation Award
Magneti Marelli Holding S.p.A.
Claudio Pinello
First prize at the Romanian National Design Contest for Analog Circuits
Radu Zlatanovici
1995
Technical Excellence Award
Semiconductor Research Corporation
Randall R. Bryant, Edmund M. Clarke, and Ken McMillan
Formal Verification Techniques: Development of SMV Technique and Application to Formal Verification
Outstanding Young Author Award
IEEE Circuits and Systems Society
Yosinori Watanabe
Outstanding Technical Achievement Award
IBM Thomas J. Watson Research Center, Yorktown Heights, New York, USA
Andreas Kuehlmann
Cadence Technical Conference Best Paper Award
Synthesis of Software Programs for Embedded Control Applications
Luciano Lavagno, Ellen Sentovich and Alberto Sangiovanni-Vincentelli
1992
ACM Doctoral Dissertation Award
ACM: Association for Computing Machinery
Ken McMillan
Symbolic Model Checking, an Approach to the State Explosion Problem
1988
Heinrich-Barkhausen Award
Dresden, Germany
Andreas Kuehlmann
|
|
|
Cadence Research Laboratories
2150 Shattuck Avenue
10th Floor
Berkeley, CA 94704
Get Directions »
|
|
|
|
|