BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
base (4)
generat (3)
effici (2)
system (2)
rtl (2)

Stem testbench$ (all stems)

7 papers:

DATEDATE-2009-BombieriFPV #generative
Correct-by-construction generation of device drivers based on RTL testbenches (NB, FF, GP, SV), pp. 1500–1505.
Translation of an existing VMM-based SystemVerilog testbench to OVM (KDL), p. 237.
DATEDATE-2007-MavroidisP #hardware #performance #synthesis
Efficient testbench code synthesis for a hardware emulator system (IM, IP), pp. 888–893.
DATEDATE-2006-BombieriFP #evaluation #on the #reuse #verification
On the evaluation of transactor-based verification for reusing TLM assertions and testbenches at RTL (NB, FF, GP), pp. 1007–1012.
DATEDATE-2006-MatulaM #algorithm #float #formal method #generative #performance #standard #traversal #verification
A formal model and efficient traversal algorithm for generating testbenches for verification of IEEE standard floating point division (DWM, LDM), pp. 1134–1138.
DACDAC-2003-HenftlingZBZE #architecture
Re-use-centric architecture for a fully accelerated testbench environment (RH, AZ, MB, MZ, WE), pp. 372–375.
DATEDATE-2003-HenftlingZBEZ #generative
Platform-Based Testbench Generation (RH, AZ, MB, WE, MZ), pp. 11038–11045.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.