Concepedia

Cadence Design Systems (United States)

Cadence Design Systems (United States)

Statistics

Publications

3.2K

Citations

91.8K

Authors

288

Location

San Jose, United States

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

HomepageWikipediaROR

Top concepts

Publications

3.2K

HYTECH: a model checker for hybrid systems

Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi · International Journal on Software Tools for Technology Transfer · 1997 · 775 citations

, , +11

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 · 1997 · 721 citations

, , +14

Translating Pseudo-Boolean Constraints into SAT

Niklas Eén, Niklas Sörensson · Journal on Satisfiability Boolean Modeling and Computation · 2006 · 582 citations · Full text

, , +8

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 · 538 citations

, , +12

Design of embedded systems: formal models, validation, and synthesis

Stephen A. Edwards, Luciano Lavagno, Edward A. Lee et al. · Proceedings of the IEEE · 1997 · 525 citations

, , +12

1–5 of 3.2K

Authors

288

  1. JP
    Joel Phillips

    Cadence Design Systems (United States), United States

    137 publications · 4.8K citations

    31

    h-index

  2. LM
    L. Miguel Silveira

    Cadence Design Systems (United States), United States

    186 publications · 3.3K citations

    31

    h-index

  3. AK
    Andreas Kuehlmann

    Cadence Design Systems (United States), United States

    114 publications · 3.1K citations

    29

    h-index

  4. HW
    Howard Wong-Toi

    Cadence Design Systems (United States), United States

    42 publications · 3.6K citations

    27

    h-index

  5. KK
    K. Kundert

    Cadence Design Systems (United States), United States

    53 publications · 3.1K citations

    24

    h-index

1–5 of 288