000 00903nam a2200241 a 4500
001 vtls000014718
003 KUKTEM
005 20251117150421.0
008 060731t nyua f 001 0 eng d
020 _a0387261435
039 9 _a201107140057
_bVLOAD
_c201106241057
_dfauzi
_c200908141223
_dVLOAD
_c200908141154
_dVLOAD
_y200607311008
_zdilla
040 _aUMP
090 _aTK7895.E42 M57 2005
100 1 _aMishra, Prabhat
245 1 0 _aFunctional verification of programmable embedded architectures :
_ba top-down approach /
_cPrabhat Mishra, Nikil D. Dutt
260 _aNew York :
_bSpringer,
_c2005
300 _a180 p. :
_bill. ;
_c24 cm.
650 0 _aEmbedded computer systems
_xTesting
650 0 _aComputer architecture
650 0 _aIntegrated circuits
_xVerification
700 1 _aDutt, Nikil
999 _aVIRTUA40
_c57926
_d57932
999 _aVTLSSORT0080*0200*0400*0900*1000*2450*2600*3000*6500*6501*6502*7000*9991