Developing test systems for multi-modules hardware designs

Authors:
M. M. Chupilko
Affiliations:
Institute for System Programming, Russian Academy of Sciences, Moscow, Russia 109004
Venue:
Programming and Computing Software
Year:
2012

Citing 5
Cited 0

Model checking

Model checking
Writing Testbenches: Functional Verification of HDL Models, Second Edition

Writing Testbenches: Functional Verification of HDL Models, Second Edition
Irredundant Algorithms for Traversing Directed Graphs: The Nondeterministic Case

Programming and Computing Software
Survey of modern technologies of simulation-based verification of hardware

Programming and Computing Software
A TLM-based approach to functional verification of hardware components at different abstraction levels

LATW '11 Proceedings of the 2011 12th Latin American Test Workshop

Quantified Score

Hi-index	0.00

Visualization

Abstract

An approach aimed at creating test systems for complex hardware designs is proposed. The designs can be subdivided into modules and verified separately. The proposed architecture of separated verification systems and the way to combine them into a complex test system are based on simulation-based verification of hardware designs. Components of the test systems are connected in a TLM-like way (i.e., with the use of a high-level commutation model based on messages), which simplifies merging of several test systems into a test system for the entire complex component.