000			01841nam a22004575a 4500
005			20250914164723.0
006			m d
007			cr nn 008maaau
008			090217s2005 mau j eng d
020			_a9780387263991 (electronic bk.)
020			_a9780387261430 (paper)
035			_a(Springer)978-0-387-26143-0
039		9	_a200902171214 _bmuhaimin _c200902171155 _dmuhaimin _c200902021310 _dmuhaimin _c200809161716 _dmuhaimin _y04-03-2008 _zmuhaimin
050	0	0	_aTK7895.E42 _bM57 2005
082	0	0	_a004.22 _222
090			_aTK7895.E42 _bM678 2005
100	1		_aMishra, Prabhat.
245	1	0	_aFunctional Verification of Programmable Embedded Architectures _h[electronic resource] : _bA Top-Down Approach / _cby Prabhat Mishra, Nikil D. Dutt.
260			_aBoston, MA : _bSpringer Science+Business Media, Inc., _c2005.
300			_axviii, 180 p. : _bill., digital ; _c24 cm.
650		0	_aEmbedded computer systems _xTesting.
650		0	_aComputer architecture.
650		0	_aIntegrated circuits _xVerification.
650	1	4	_aEngineering.
650	2	4	_aElectronic and Computer Engineering.
650	2	4	_aProcessor Architectures.
650	2	4	_aSpecial Purpose and Application-Based Systems.
650	2	4	_aSystem Performance and Evaluation.
650	2	4	_aComputer-Aided Engineering (CAD, CAE) and Design.
650	2	4	_aCircuits and Systems.
700	1		_aDutt, Nikil D.
710	2		_aSpringerLink (Online service)
773	0		_tSpringer e-books
856	4	0	_uhttps://eresourcesptsl.ukm.remotexs.co/login?url=http://dx.doi.org/10.1007/b137514
907			_a.b14113272 _b2022-04-06 _c2019-11-12
942			_n0 _kTK7895.E42 M678 2005
914			_avtls003368745
998			_ae _b2008-03-04 _cm _dz _feng _gmau _y0 _z.b14113272
999			_c407308 _d407308