Institution · Cadence Design Systems (United States)
Most cited papers from Cadence Design Systems (United States)
What are the most cited papers from Cadence Design Systems (United States)?
The most cited paper from Cadence Design Systems (United States) is "Symbolic model checking" (Emma L. Clarke, K. McMillan, Sérgio Campos et al., 1996), with 2,856 citations. Next come "Interpolation and SAT-Based Model Checking" (917) and "HYTECH: a model checker for hybrid systems" (776).
Showing 50 of 58 papers. Every paper with more than 151 citations is listed.
| # | Paper | ||
|---|---|---|---|
| 1 | Symbolic model checking Emma L. Clarke, K. McMillan, Sérgio Campos et al. · Lecture notes in computer science | 1996 | 2,856 |
| 2 | Interpolation and SAT-Based Model Checking Kenneth L. McMillan · Lecture notes in computer science | 2003 | 917 |
| 3 | HYTECH: a model checker for hybrid systems Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi · International Journal on Software Tools for Technology Transfer | Dec 1997 | 776 |
| 4 | A precorrected-FFT method for electrostatic analysis of complicated 3-D structures Joel R. Phillips, Jacob White · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems | 1997 | 731 |
| 5 | Translating Pseudo-Boolean Constraints into SAT Niklas Eén, Niklas Sörensson · Journal on Satisfiability Boolean Modeling and Computation | Mar 2006 | 590 |
| 6 | Unveiling the ISCAS-85 benchmarks: a case study in reverse engineering Mark C. Hansen, Hakan Yalcin, John P. Hayes · IEEE Design & Test of Computers | 1999 | 549 |
| 7 | Design of embedded systems: formal models, validation, and synthesis Stephen A. Edwards, Luciano Lavagno, Edward A. Lee et al. · Proceedings of the IEEE | Mar 1997 | 531 |
| 8 | Metropolis: an integrated electronic system design environment Felice Balarin, Yoshi Watanabe, Harry Hsieh et al. · Computer | Apr 2003 | 497 |
| 9 | Threshold voltage model for deep-submicrometer MOSFETs zhenglin liu, Chenming Calvin Hu, Jiawei Huang et al. · IEEE Transactions on Electron Devices | 1993 | 481 |
| 10 | Theory of latency-insensitive design Luca P. Carloni, Kenneth L. McMillan, Alberto L. Sangiovanni-Vincentelli · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems | 2001 | 437 |
| 11 | Multi-Terminal Binary Decision Diagrams: An Efficient Data Structure for Matrix Representation Masahiro Fujita, Patrick C. McGeer, J.C.-Y. Yang · Formal Methods in System Design | Apr 1997 | 395 |
| 12 | Platform-based design and software design methodology for embedded systems Alberto L. Sangiovanni-Vincentelli, Grant Edmund Martin · IEEE Design & Test of Computers | 2001 | 390 |
| 13 | Lazy Abstraction with Interpolants Kenneth L. McMillan · Lecture notes in computer science | 2006 | 386 |
| 14 | OPASYN: a compiler for CMOS operational amplifiers H.-Y. Serene Koh, Carlo H. Séquin, P.R. Gray · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems | 1990 | 380 |
| 15 | Statistical Timing Analysis: From Basic Principles to State of the Art David T. Blaauw, Kaviraj Chopra, Ankur Srivastava et al. · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems | 27 Mar 2008 | 371 |
| 16 | Surviving the SOC Revolution: A Guide to Platform-Based Design Henry C. Chang, Larry Cooke, Merrill Hunt et al. | 30 Nov 1999 | 366 |
| 17 | Verifying continuous time Markov chains Adnan Aziz, Kumud Sanwal, Vigyan Singhal et al. · Lecture notes in computer science | 1996 | 344 |
| 18 | Robust Boolean reasoning for equivalence checking and functional property verification Andreas Kuehlmann, Viresh Paruthi, F. Krohm et al. · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems | Dec 2002 | 335 |
| 19 | BerkMin: A fast and robust SAT-solver Evguenii I. Goldberg, Yakov Novikov | 25 Jun 2003 | 334 |
| 20 | Interface-based design James A. Rowson, Alberto L. Sangiovanni-Vincentelli | 1997 | 294 |
| 21 | Introduction to RF simulation and its application K. Kundert · IEEE Journal of Solid-State Circuits | 1999 | 282 |
| 22 | An interpolating theorem prover Kenneth L. McMillan · Theoretical Computer Science | 11 Aug 2005 | 271 |
| 23 | Guaranteed passive balancing transformations for model order reduction Joel R. Phillips, Luca Daniel, Luis Miguel Silveira · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems | 29 Jul 2003 | 270 |
| 24 | Parameterized dataflow modeling for DSP systems Bishnupriya Bhattacharya, Shuvra S. Bhattacharyya · IEEE Transactions on Signal Processing | 2001 | 245 |
| 25 | Projection-based approaches for model reduction of weakly nonlinear, time-varying systems Joel R. Phillips · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems | Feb 2003 | 243 |
| 26 | Analysis and modeling of bang-bang clock and data recovery circuits Jri Lee, K. Kundert, Behzad Razavi · IEEE Journal of Solid-State Circuits | 31 Aug 2004 | 238 |
| 27 | HOPE: an efficient parallel fault simulator for synchronous sequential circuits Hyung Ki Lee, Dong Sam Ha · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems | 1996 | 233 |
| 28 | Automatic Abstraction without Counterexamples Kenneth L. McMillan, Nina Amla · Lecture notes in computer science | 2003 | 233 |
| 29 | Plasma and Cerebrospinal Fluid Pharmacokinetic Parameters After Single‐Dose Administration of Intravenous, Oral, or Rectal Acetaminophen Neil Singla, Cherri Parulan, Roselle Samson et al. · Pain Practice | 24 Apr 2012 | 227 |
| 30 | Efficient generation of counterexamples and witnesses in symbolic model checking E. M. Clarke, Orna Grümberg, Kenneth L. McMillan et al. | 1995 | 219 |
| 31 | Modeling the Driving-Point Characteristic of Resistive Interconnect for Accurate Delay Estimation P.R. O'Brien, Thomas L. Savarino | 2003 | 215 |
| 32 | Spectral partitioning Charles J. Alpert, So-Zen Yao | 1995 | 205 |
| 33 | A modular approach for analyzing static and dynamic fault trees Ravi K. Gulati, J.B. Dugan | 22 Nov 2002 | 205 |
| 34 | RISA: accurate and efficient placement routability modeling Chih-liang Eric Cheng · International Conference on Computer Aided Design | 6 Nov 1994 | 204 |
| 35 | FPGA in the software radio Mark Cummings, Shinichiro Haruyama · IEEE Communications Magazine | 1999 | 203 |
| 36 | Automation of IC layout with analog constraints Enrico Malavasi, Edoardo Charbon, Eric Felt et al. · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems | 1996 | 187 |
| 37 | A Practical and Complete Approach to Predicate Refinement Ranjit Jhala, Kenneth L. McMillan · Lecture notes in computer science | 2006 | 186 |
| 38 | Algorithmic analysis of nonlinear hybrid systems Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi · IEEE Transactions on Automatic Control | Apr 1998 | 184 |
| 39 | A Digital Liquid State Machine With Biologically Inspired Learning and Its Application to Speech Recognition Yong Zhang, Peng Li, Yingyezhe Jin et al. · IEEE Transactions on Neural Networks and Learning Systems | 27 Jan 2015 | 184 |
| 40 | Multilevel circuit partitioning Charles J. Alpert, Jen-Hsin Huang, Andrew B. Kahng | 1997 | 183 |
| 41 | A physical and scalable I-V model in BSIM3v3 for analog/digital circuit simulation Yuhua Cheng, Min-Chie Jeng, Zhihong Liu et al. · IEEE Transactions on Electron Devices | Feb 1997 | 181 |
| 42 | Desynchronization: Synthesis of Asynchronous Circuits From Synchronous Specifications Jordi Cortadella, Alex Kondratyev, Luciano Lavagno et al. · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems | 23 Aug 2006 | 180 |
| 43 | Symbolic Model Checking Kenneth L. McMillan | 2000 | 177 |
| 44 | A 2.5D Integrated Voltage Regulator Using Coupled-Magnetic-Core Inductors on Silicon Interposer Noah Sturcken, Eugene J. O'Sullivan, Naigang Wang et al. · IEEE Journal of Solid-State Circuits | 4 Dec 2012 | 176 |
| 45 | Abductor Tendon Tears of the Hip: Evaluation and Management Paul F. Lachiewicz · Journal of the American Academy of Orthopaedic Surgeons | Jul 2011 | 176 |
| 46 | CMOS op-amp sizing using a geometric programming formulation Pradip Kumar Mandal, V. Visvanathan · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems | 2001 | 175 |
| 47 | A Convex Programming Approach for Generating Guaranteed Passive Approximations to Tabulated Frequency-Data C.P. Coelho, Joel R. Phillips, Luis Miguel Silveira · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems | Feb 2004 | 169 |
| 48 | Automatic synthesis of interfaces between incompatible protocols Roberto Passerone, James A. Rowson, Alberto L. Sangiovanni-Vincentelli | 1998 | 166 |
| 49 | ePlace Jingwei Lu, Pengwen Chen, Chin-Chih Chang et al. · ACM Transactions on Design Automation of Electronic Systems | 2 Mar 2015 | 166 |
| 50 | Verification of an implementation of Tomasulo's algorithm by compositional model checking Kenneth L. McMillan · Lecture notes in computer science | 1998 | 162 |
Citations are OpenAlex's own counts, from its 2026-09-23 snapshot, so the ranking can differ from Google Scholar or Web of Science. A paper is listed for an institution when any of its authors gave it as an affiliation; retracted papers and papers whose citation count cannot be traced to citing works are left out, and a preprint and the article it became are shown once. Release dates are OpenAlex's: where a source gave only a month or a year, that is what is shown. How the lists are chosen.