Concepedia

Specification Languages For Hardware

Specification Languages for Hardware is a formal language system designed to describe the structure, behavior, and constraints of digital hardware components with precision, enabling unambiguous communication and automated processing in the hardware design and verification process.

244

Publications

8.8K

Citations

529

Authors

189

Institutions

Publications per year

2017–2026

15

Parents

Publications

244

Protocol verification as a hardware design aid

David L. Dill, Andreas J. Drexler, Alan J. Hu et al. · 2003 · 399 citations

, , +17

The Mälardalen WCET Benchmarks: Past, Present And Future

DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2010 · 338 citations · Full text

, , +11

VHDL-AMS-a hardware description language for analog and mixed-signal applications

E. Christen, Kenneth Bakalar · IEEE Transactions on Circuits and Systems II Analog and Digital Signal Processing · 1999 · 289 citations

, , +13

Instruction set processor specifications (ISPS): The notation and its applications

Mario R. Barbacci · IEEE Transactions on Computers · 1981 · 252 citations · Full text

, , +13

VHDL-AMS and Verilog-AMS as alternative hardware description languages for efficient modeling of multidiscipline systems

François Pêcheux, Christophe Lallement, Alain Vachoux · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2005 · 190 citations · Full text

, , +13

1–5 of 244

Authors

529

  1. DB
    D. Borrione

    Techniques of Informatics and Microelectronics for Integrated Systems Architecture, France

    7 publications · 127 citations

    7

    h-index

  2. AA
    Arvind Arvind

    Massachusetts Institute of Technology, United States

    5 publications · 190 citations

    5

    h-index

  3. WA
    Warren A. Hunt

    The University of Texas at Austin, United States

    5 publications · 165 citations

    5

    h-index

  4. FV
    Frank Vahid

    University of California, Riverside, United States

    4 publications · 153 citations

    4

    h-index

  5. AP
    Amir Pnueli

    Weizmann Institute of Science, Israel

    4 publications · 298 citations

    4

    h-index

1–5 of 529

Institutions

189

  1. Stanford University

    Stanford, United States

    11 h-index

    25 publications

    2.4K citations

  2. Columbia University

    New York, United States

    7 h-index

    13 publications

    327 citations

  3. University of California, Irvine

    Irvine, United States

    7 h-index

    12 publications

    470 citations

  4. New York University

    New York, United States

    5 h-index

    8 publications

    751 citations

  5. Massachusetts Institute of Technology

    Cambridge, United States

    5 h-index

    11 publications

    637 citations

  6. Princeton University

    Princeton, United States

    5 h-index

    11 publications

    308 citations

  7. University of Illinois Urbana-Champaign

    Urbana, United States

    4 h-index

    9 publications

    357 citations

  8. University of Twente

    Enschede, The Netherlands

    4 h-index

    13 publications

    871 citations

1–8 of 189

Venues

  1. Computer

    12 publications · 457 citations

    11

    h-index

  2. 9

    h-index

  3. Design Automation Conference

    Conference · 8 publications · 251 citations

    8

    h-index

  4. IEEE Design & Test of Computers

    6 publications · 286 citations

    6

    h-index

  5. European Design Automation Conference

    Conference · 4 publications · 62 citations

    4

    h-index

1–5