TY - BOOK AU - Bergeron, Janick TI - Writing Testbenches: Functional Verification of HDL Models SN - 9781402074011 U1 - 621.3815 PY - 2003/// CY - London PB - Springer-Verlag KW - Electronic Engineering N1 - What is Verification? Verification Tools The Verification Plan High Level Modeling Stimulus and Response Architecting Testbenches Simulation Management Coding Guidelines ER -