Concepedia

Model-based Hardware Design

Model-Based Hardware Design is a systematic methodology within hardware modeling that employs abstract, executable system representations as the primary artifacts for design specification, verification, and synthesis, distinguishing itself from traditional schematic-driven approaches by enabling automated, consistent, and traceable development through formal models.

186

Publications

6.7K

Citations

585

Authors

203

Institutions

Publications per year

2017–2026

27

Parents

Publications

186

The Generic Modeling Environment

Ákos Lédeczi, Miklós Maróti, Árpád Bakay et al. · 2001 · 496 citations

, , +17

A Telerobotic System for Transnasal Surgery

Jessica Burgner-Kahrs, D. Caleb Rucker, Hunter B. Gilbert et al. · IEEE/ASME Transactions on Mechatronics · 2013 · 293 citations

, , +17

A model and methodology for hardware-software codesign

Donald E. Thomas, Jay K. Adams, Herman Schmit · IEEE Design & Test of Computers · 1993 · 287 citations

, , +17

POLYCHRONY for System Design

Paul Le Guernic, Jean-Pierre Talpin, Jean-Christophe Le Lann · Journal of Circuits Systems and Computers · 2003 · 230 citations

, , +17

Model learning

Frits Vaandrager · Communications of the ACM · 2017 · 211 citations

, , +15

1–5 of 186

Authors

585

  1. AH
    Andreas Hoffmann

    Leipzig University, Germany

    4 publications · 157 citations

    4

    h-index

  2. GK
    Gábor Karsai

    Vanderbilt University, United States

    3 publications · 541 citations

    3

    h-index

  3. AN
    Achim Nohl

    RWTH Aachen University, Germany

    3 publications · 102 citations

    3

    h-index

  4. RK
    Rajesh K. Gupta

    University of California San Diego, United States

    3 publications · 119 citations

    3

    h-index

  5. DI
    David I. August

    Princeton University, United States

    3 publications · 66 citations

    3

    h-index

1–5 of 585

Institutions

203

  1. University of California, Irvine

    Irvine, United States

    7 h-index

    20 publications

    854 citations

  2. Synopsys (United States)

    Mountain View, United States

    6 h-index

    14 publications

    429 citations

  3. Techniques of Informatics and Microelectronics for Integrated Systems Architecture

    Grenoble, France

    5 h-index

    22 publications

    313 citations

  4. Stanford University

    Stanford, United States

    4 h-index

    5 publications

    270 citations

  5. RWTH Aachen University

    Aachen, Germany

    4 h-index

    16 publications

    591 citations

  6. Technical University of Denmark

    Kongens Lyngby, Denmark

    3 h-index

    7 publications

    207 citations

  7. Synopsys (Switzerland)

    Zurich, Switzerland

    3 h-index

    4 publications

    238 citations

  8. Laboratoire d'Informatique Fondamentale de Lille

    Villeneuve-d'Ascq, France

    3 h-index

    8 publications

    89 citations

1–8 of 203

Venues

  1. IEEE Design & Test of Computers

    4 publications · 544 citations

    4

    h-index

  2. 4

    h-index

  3. IEEE Transactions on Computers

    4 publications · 145 citations

    4

    h-index

  4. Design, Automation, and Test in Europe

    Conference · 3 publications · 51 citations

    3

    h-index

  5. 3

    h-index

1–5