TY - BOOK AU - Mishra,Prabhat AU - Dutt,Nikil D. TI - Functional verification of programmable embedded architectures : : a top-down approach / SN - 9788181288653: U1 - 004.22 MIS/F 21 PY - 2008/// CY - NewYork : PB - Springer , KW - COMPUTER ARCHITECTURE N1 - Includes index ER -