TY - BOOK AU - Bergeron,Janick ED - SpringerLink (Online service) TI - Verification Methodology Manual for SystemVerilog SN - 9780387255569 (electronic bk.) AV - TK7885.7 .V44 2006 U1 - 621.392 22 PY - 2006/// CY - Boston, MA PB - Synopsys, Inc. and ARM Limited KW - Verilog (Computer hardware description language) KW - Integrated circuits KW - Verification KW - Engineering KW - Electronic and Computer Engineering KW - Electronics and Microelectronics, Instrumentation KW - Computer-Aided Engineering (CAD, CAE) and Design KW - Circuits and Systems UR - https://eresourcesptsl.ukm.remotexs.co/user/login?url=http://dx.doi.org/10.1007/b135575 ER -