Concepedia

Synopsys (Switzerland)

Synopsys (Switzerland)

Statistics

Publications

2.5K

Citations

60.2K

Authors

126

Location

Zurich, Switzerland

Synopsys (Switzerland) is a company institution in Zurich, Switzerland known for computer engineering, engineering, and computer science.

HomepageWikipediaROR

Top concepts

Publications

2.5K

Efficient implementation of a BDD package

Karl S. Brace, Richard Rudell, Randal E. Bryant · 1990 · 1.1K citations · Full text

, , +17

User Data Privacy: Facebook, Cambridge Analytica, and Privacy Protection

Jim Isaak, Mina J. Hanna · Computer · 2018 · 687 citations

, , +15

Anton 2: Raising the Bar for Performance and Programmability in a Special-Purpose Molecular Dynamics Supercomputer

David E. Shaw, J.P. Grossman, Joseph A. Bank et al. · 2014 · 687 citations

, , +17

Bounded Model Checking Using Satisfiability Solving

Edmund M. Clarke, Armin Biere, Richard Raimi et al. · Formal Methods in System Design · 2001 · 679 citations

, , +8

MLPerf Inference Benchmark

Vijay Janapa Reddi, Christine Cheng, David Kanter et al. · 2020 · 474 citations

, , +12

1–5 of 2.5K

Authors

126

  1. SL
    Stan Liao

    Synopsys (Switzerland), Switzerland

    26 publications · 1K citations

    16

    h-index

  2. RD
    Robert Damiano

    Synopsys (Switzerland), Switzerland

    43 publications · 776 citations

    15

    h-index

  3. CZ
    Christoph Zechner

    Synopsys (Switzerland), Switzerland

    66 publications · 451 citations

    11

    h-index

  4. GH
    G. Harutyunyan

    Synopsys (Switzerland), Switzerland

    62 publications · 446 citations

    11

    h-index

  5. AB
    Armen B. Avagyan

    Synopsys (Switzerland), Switzerland

    19 publications · 390 citations

    10

    h-index

1–5 of 126