01380oam 2200421zu 450 991087245190332120241212215258.010.1109/HLDVT.2002(CKB)1000000000022042(SSID)ssj0000454025(PQKBManifestationID)12129304(PQKBTitleCode)TC0000454025(PQKBWorkID)10482181(PQKB)10736666(NjHacI)991000000000022042(EXLCZ)99100000000002204220160829d2002 uy engur|||||||||||txtccr2002 IEEE International High Level Design Validation and Test Workshop[Place of publication not identified]IEEE20021 online resource (ix, 188 pages) illustrationsBibliographic Level Mode of Issuance: Monograph9780780376557 0780376552 Computer softwareVerificationCongressesElectronic digital computersEvaluationCongressesComputer softwareVerificationElectronic digital computersEvaluation005.14PQKBPROCEEDING99108724519033212002 IEEE International High Level Design Validation and Test Workshop2410548UNINA