Hardware Description Languages

Hardware Description Language is a formal language used to specify the structure and behavior of digital hardware systems at multiple levels of abstraction to facilitate design, simulation, verification, and synthesis.

4.7K

Publications

172.3K

Citations

10.2K

Authors

1.8K

Institutions

Publications per year

2017–2026

527

Variants

Hardware Description LanguageHdlHdls

Parents

Computer Engineering

Children

Assertion-based VerificationBehavioral ModelingCombinational Logic DescriptionConcurrent ModelingData TypesDataflow ModelingDelay ModelingDesign HierarchyFinite State Machine ModelingGenerate Constructs

Publications

4.7K

Synthesis and optimization of digital circuits

Choice Reviews Online · 1994 · 2.4K citations

Engineering, Computer Engineering, Electrical Engineering +17

Iterative decoding of binary block and convolutional codes

J. Hagenauer, E. Offer, L. Papke · IEEE Transactions on Information Theory · 1996 · 2.3K citations

Engineering, Computer Engineering, Computer Science +16

A neutral netlist of 10 combinational benchmark circuits and a target translator in FORTRAN

F. Brglez · Medical Entomology and Zoology · 1985 · 1.3K citations

Engineering, Computer Engineering, Computer Science +10

DRAMSim2: A Cycle Accurate Memory System Simulator

Paul Rosenfeld, Elliott Cooper-Balis, Bruce Jacob · IEEE Computer Architecture Letters · 2011 · 904 citations

Engineering, Computer Engineering, Computer Science +13

FPGA Design Methodology for Industrial Control Systems—A Review

Éric Monmasson, Marcian Cirstea · IEEE Transactions on Industrial Electronics · 2007 · 900 citations · Full text

Engineering, Computer Engineering, Industrial Engineering +17

1–5 of 4.7K

Authors

10.2K

GD
Giovanni De Micheli
École Polytechnique Fédérale de Lausanne, Switzerland
30 publications · 2K citations
21
h-index
HM
H. Meyr
RWTH Aachen University, Germany
25 publications · 1.2K citations
19
h-index
SD
Srinivas Devadas
Massachusetts Institute of Technology, United States
20 publications · 1.4K citations
18
h-index
DD
Daniel D. Gajski
University of California, Irvine, United States
24 publications · 1.5K citations
18
h-index
RD
Rolf Drechsler
University of Bremen, Germany
31 publications · 875 citations
18
h-index

1–5 of 10.2K

Institutions

1.8K

1–8 of 1.8K

Venues

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
193 publications · 11.1K citations
52
h-index
IEEE Transactions on Computers
96 publications · 5.8K citations
41
h-index
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
77 publications · 2.9K citations
32
h-index
IEEE Transactions on Circuits and Systems for Video Technology
37 publications · 2.9K citations
27
h-index
IEEE Design & Test of Computers
51 publications · 2.9K citations
25
h-index

1–5

See also Hardware Description Languages
Language Constructs	Always Block Structural Hierarchy
Design Flow	Hardware Description Languages High-level Synthesis Domain-specific Languages Formal Specifications Proof Assistants Simulation Studies
Verification Techniques	Formal Verification Model Checking Equivalence Checking Simulation-based Verification Assertion-based Verification Theorem Proving Testbenches Symbolic Verification Hardware Assertion Languages
Language Families	Domain-specific Languages Compiler-based High-level Synthesis Hardware Generation Vhdl System Verilog