Cadence Design Systems (United States)

Institution (Company)

Homepage Wikipedia ROR

Also Known As

Cadence Design Systems (United States)

3.1K

Publications

88.3K

Citations

296

Authors

711

Concepts

About

Cadence Design Systems (United States) is a company institution in San Jose, United States known for engineering, computer engineering, and computer science.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	90	1.3K	55.3K
2	Business	12	20	623
3	Education	12	17	699
4	Health Sciences	3	3	125
5	Arts	1	2	26

Cadence Design Systems (United States)

3.1K

Publications

88.3K

Citations

Page 1

	Year	Citations
HYTECH: a model checker for hybrid systems Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi International Journal on Software Tools for Technology Transfer EngineeringVerificationFormal MethodsComputer-aided VerificationSystems Engineering	1997	771
A precorrected-FFT method for electrostatic analysis of complicated 3-D structures Joel Phillips, Jacob White IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems Numerical AnalysisEngineeringMechanical EngineeringComputational MechanicsInner Loop	1997	717
Translating Pseudo-Boolean Constraints into SAT Niklas Eén, Niklas Sörensson Journal on Satisfiability Boolean Modeling and Computation Mathematical ProgrammingConstraint SolvingEngineeringConstraint SatisfactionProper Mix	2006	572
Unveiling the ISCAS-85 benchmarks: a case study in reverse engineering Mark C. Hansen, Hakan Yalcin, John P. Hayes IEEE Design & Test of Computers EngineeringVlsi DesignHardware Verification LanguageElectronic Design AutomationComputer Architecture	1999	524
Design of embedded systems: formal models, validation, and synthesis Stephen A. Edwards, Luciano Lavagno, Edward A. Lee, Proceedings of the IEEE EngineeringReal-time System DesignComputer ArchitectureSoftware EngineeringSystem Synthesis	1997	518
Metropolis: an integrated electronic system design environment Felice Balarin, Y. Watanabe, Harry Hsieh, Computer EngineeringElectronic DesignComputer ArchitectureSoftware EngineeringSystem-level Design	2003	490
Abstractions from proofs Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, ACM SIGPLAN Notices Program CheckingEngineeringVerificationComputational ComplexityPredicate Abstractions	2014	480
Threshold voltage model for deep-submicrometer MOSFETs zhenglin liu, Chenming Hu, Jiawei Huang, IEEE Transactions on Electron Devices Low-power ElectronicsDevice ModelingElectrical EngineeringThreshold Voltage ModelEngineering	1993	478
Theory of latency-insensitive design Luca P. Carloni, Kenneth L. McMillan, Alberto Sangiovanni‐Vincentelli IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems Hardware SecurityEngineeringVlsi ArchitectureComputer DesignChannel Latency	2001	432
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	1997	386

Page 1