Rtl Verification

RTL Verification is a formal process within digital system design that belongs to the class of hardware verification methodologies, specifically distinguished by its focus on validating the correctness of register-transfer level models with respect to functional specifications prior to logic synthesis.

239

Publications

6.1K

Citations

633

Authors

180

Institutions

Publications per year

2017–2026

Variants

Parents

Hardware Modeling For Digital SystemsRegister-transfer Level Design

Publications

239

Lbtorial bluespec systemverilog: efficient, correct RTL from high-level specifications

R. S. Nikhil · 2005 · 186 citations

Engineering, Computer Engineering, Computer Science +15

Model checking LTL with regular valuations for pushdown systems

Javier Esparza, Antonı́n Kučera, Stefan Schwoon · Information and Computation · 2003 · 171 citations

Computing, Computer Science, Formal Methods +10

Benchmarking Large Language Models for Automated Verilog RTL Code Generation

Shailja Thakur, Baleegh Ahmad, Zhenxing Fan et al. · 2023 · 142 citations

Engineering, Computer Engineering, Computer Science +15

RFUZZ

Kevin Laeufer, Jack Koenig, Donggyu Kim et al. · 2018 · 122 citations

Computing, Computer Engineering, Computer Science +14

RTL-Datapath Verification using Integer Linear Programming

Raik Brinkmann, Rolf Drechsler · 2002 · 107 citations

Engineering, Computer Engineering, Computer Science +17

1–5 of 239

Authors

633

FF
Franco Fummi
University of Verona, Italy
10 publications · 178 citations
10
h-index
GP
Graziano Pravadelli
University of Verona, Italy
11 publications · 260 citations
10
h-index
NB
Nicola Bombieri
University of Verona, Italy
12 publications · 270 citations
10
h-index
KC
Kwang‐Ting Cheng
University of California, Santa Barbara, United States
6 publications · 223 citations
6
h-index
JA
Jacob A. Abraham
The University of Texas at Austin, United States
6 publications · 110 citations
6
h-index

1–5 of 633

Institutions

180

1–8 of 180

Venues

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
9 publications · 194 citations
9
h-index
IEEE Transactions on Computers
7 publications · 231 citations
7
h-index
IEEE Design & Test of Computers
7 publications · 138 citations
7
h-index
Proceedings - ACM IEEE Design Automation Conference
5 publications · 161 citations
5
h-index
Design Automation for Embedded Systems
3 publications · 35 citations
3
h-index

1–5