TY - BOOK AU - KHAN (DOLLY) TI - VERILOG VERIFICATION METHODOLGY FOR SERIAL PROTOCOLS U1 - 004 KHA PY - 2006/// ER -