01303oam 2200433zu 450 991014540900332120241212215655.09781509078608150907860610.1109/HLDVT14411.2008(CKB)1000000000710458(SSID)ssj0000453265(PQKBManifestationID)12129797(PQKBTitleCode)TC0000453265(PQKBWorkID)10480990(PQKB)11688030(NjHacI)991000000000710458(EXLCZ)99100000000071045820160829d2008 uy engur|||||||||||txtccr2008 IEEE International High Level Design Validation and Test Workshop[Place of publication not identified]I E E E20081 online resourceBibliographic Level Mode of Issuance: Monograph9781424429226 1424429226 Computer softwareVerificationComputer softwareVerification.005.14IEEE StaffPQKBPROCEEDING99101454090033212008 IEEE International High Level Design Validation and Test Workshop2524020UNINA