LEADER 00998nam 2200313 450 001 996575391803316 005 20231209095959.0 010 $a1-5044-5977-6 035 $a(CKB)4100000009039542 035 $a(NjHacI)994100000009039542 035 $a(EXLCZ)994100000009039542 100 $a20231209d2019 uy 0 101 0 $aeng 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$a1647-2019 - IEEE Standard for the Functional Verification Language e /$fInstitute of Electrical and Electronics Engineers 210 1$a[Place of publication not identified] :$cIEEE,$d2019. 215 $a1 online resource (46 pages) 606 $aDynamic programming 615 0$aDynamic programming. 676 $a519.703 801 0$bNjHacI 801 1$bNjHacl 906 $aDOCUMENT 912 $a996575391803316 996 $a1647-2019 - IEEE Standard for the Functional Verification Language e$92582806 997 $aUNISA