TY - BOOK AU - BERGERON JANICK TI - WRITING TESTBENCHES: FUNCTIONAL VERIFICATION OF HDL MODELS SN - 8181285662 PY - 2007/// PB - SPRINGER ER -