FUNCTIONAL VERIFICATION OF PROGRAMMABLE EMBEDDED ARCHITECTURE : A TOP DOWN APPROACH - PRABHAT MISHRA AND NIKIL D DUTT; NO (SPRINGER, 2008)
NBT
Paper Pack
UG