TY - BOOK AU - Da Iict. TI - National workshop on challenges in vlsi may 13 & 14 2005 : testing and formal verification SN - 0 U1 - 621.39732 PY - 1994/// CY - Gandhinagar PB - Dhirubhai Ambani InstiOf It KW - Applied physics ER -