Concepedia

Hardware Description Language Semantics

Hardware Description Language Semantics is the formal specification of the meaning and behavior of syntactic constructs in a hardware description language, defining how textual representations correspond to hardware structures and operations at the register-transfer level.

139

Publications

4.9K

Citations

309

Authors

121

Institutions

Publications per year

2017–2026

13

Parents

Publications

139

The Verilog hardware description language

Choice Reviews Online · 1991 · 504 citations

, , +10

Language-Directed Hardware Design for Network Performance Monitoring

Srinivas Narayana, Anirudh Sivaraman, Vikram Nathan et al. · 2017 · 252 citations · Full text

, , +16

Experience with Embedding Hardware Description Languages in HOL

Richard J. Boulton, Andrew D. Gordon, Michael J. C. Gordon et al. · 1992 · 160 citations

, , +17

The Challenges of Synthesizing Hardware from C-Like Languages

Stephen A. Edwards · IEEE Design & Test of Computers · 2006 · 129 citations · Full text

, , +13

The Transmogrifier C hardware description language and compiler for FPGAs

David R. Galloway · 2002 · 117 citations

, , +16

1–5 of 139

Authors

309

  1. CB
    Christiaan Baaij

    University of Twente, Netherlands

    4 publications · 122 citations

    4

    h-index

  2. DB
    D. Borrione

    Techniques of Informatics and Microelectronics for Integrated Systems Architecture, France

    4 publications · 79 citations

    4

    h-index

  3. JK
    Jan Kuper

    University of Twente, Netherlands

    4 publications · 122 citations

    4

    h-index

  4. MR
    Mario R. Barbacci

    Carnegie Mellon University, United States

    3 publications · 42 citations

    3

    h-index

  5. ME
    Marco E. T. Gerards

    University of Twente, Netherlands

    3 publications · 112 citations

    3

    h-index

1–5 of 309

Institutions

121

  1. Virginia Tech

    Blacksburg, United States

    5 h-index

    9 publications

    208 citations

  2. Stanford University

    Stanford, United States

    5 h-index

    13 publications

    279 citations

  3. University of Twente

    Enschede, The Netherlands

    4 h-index

    16 publications

    570 citations

  4. Universidad Politécnica de Madrid

    Madrid, Spain

    4 h-index

    11 publications

    181 citations

  5. Darmstadt University of Applied Sciences

    Darmstadt, Germany

    3 h-index

    3 publications

    52 citations

  6. University of Cambridge

    Cambridge, United Kingdom

    3 h-index

    4 publications

    139 citations

  7. Carnegie Mellon University

    Pittsburgh, United States

    3 h-index

    3 publications

    42 citations

  8. University of Bremen

    Bremen, Germany

    3 h-index

    5 publications

    256 citations

1–8 of 121

Venues

  1. Computer

    5 publications · 118 citations

    5

    h-index

  2. IEEE Design & Test of Computers

    4 publications · 247 citations

    4

    h-index

  3. Design Automation Conference

    Conference · 4 publications · 170 citations

    4

    h-index

  4. 3

    h-index

  5. European Design Automation Conference

    Conference · 3 publications · 79 citations

    3

    h-index

1–5