00622nam a2200169Ia 4500008004100000020001800041041000800059082001600067100003600083245011100119250000600230260003000236300001400266650002500280999001900305952012800324210716s2008    xx            000 0 und d  a9788181288653  aeng  a005.41 MISP  aMishra, Prabhat; Dutt, Nikil D.  aFunctional verification of programmable embedded architectures: a top down approach.bA top down approach.  a1  aNew DelhibSpringerc2008  axviii,180  aEmbedded Programming  c189480d189480  001040708MCAaAIMITbAIMITeAthulya Booksg545.00l0o005.41 MISPpMCA08988r2026-05-23 00:00:00v425.10w2021-07-16yBK