Verification Environment

A Verification Environment is a formalized framework within the academic domain of hardware and software testbenching that integrates stimulus generation, response monitoring, and checking mechanisms to systematically validate the correctness of a design under test against its specifications.

133

Publications

3.8K

Citations

428

Authors

138

Institutions

Publications per year

2017–2026

Parents

Testbenches

Publications

133

An overview of the MOP runtime verification framework

Patrick Meredith, Dongyun Jin, Dennis Griffith et al. · International Journal on Software Tools for Technology Transfer · 2011 · 245 citations

Computing, Computer Engineering, Computer Science +10

Cadena: An Integrated Development, Analysis, and Verification Environment for Component-based Systems

2001 · 173 citations

Computing, Computer Science, Systems Engineering +17

C-based SoC design flow and EDA tools: an ASIC and system vendor perspective

Katsunori Wakabayashi, Takeshi Okamoto · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2000 · 136 citations

Engineering, Computer Engineering, Computer Science +17

Gateway Framework for In-Vehicle Networks Based on CAN, FlexRay, and Ethernet

Jin Ho Kim, Suk-Hyun Seo, Nguyen Tien Hai et al. · IEEE Transactions on Vehicular Technology · 2015 · 110 citations

Engineering, Automotive Engineering, Computer Systems +17

An industrially effective environment for formal hardware verification

C.-J.H. Seger, Robert B. Jones, John O’Leary et al. · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2005 · 92 citations

Computing, Computer Engineering, Computer Science +17

1–5 of 133

Authors

428

RD
Rolf Drechsler
University of Bremen, Germany
4 publications · 76 citations
4
h-index
KS
Khaled Salah
Khalifa University of Science and Technology, United Arab Emirates
3 publications · 94 citations
3
h-index
WR
Wolfgang Reif
University of Augsburg, Germany
3 publications · 77 citations
3
h-index
SG
Stefania Gnesi
Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo", Italy
2 publications · 127 citations
2
h-index
LF
Luca Fanucci
University of Pisa, Italy
2 publications · 32 citations
2
h-index

1–5 of 428

Institutions

138

1–8 of 138

Venues

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
4 publications · 274 citations
4
h-index
Electronic Notes in Theoretical Computer Science
ENTCS · 4 publications · 118 citations
4
h-index
IEEE Software
2 publications · 75 citations
2
h-index
Electronic Proceedings in Theoretical Computer Science
2 publications · 63 citations
2
h-index
IEEE Design & Test of Computers
2 publications · 74 citations
2
h-index

1–5