TY - BOOK AU - Palnitkar Samir ED - TI - Design Verification With E U1 - 621.392 PY - 2004/// PB - PEARSON EDUCATION KW - Computer Science ER -