LEADER 02034nam  2200325   450 
001 9910389548603321
005 20231211115044.0
010   $a1-5044-6271-8
035   $a(CKB)5280000000208112
035   $a(NjHacI)995280000000208112
035   $a(EXLCZ)995280000000208112
100   $a20231211d2019      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 - Redline /$fInstitute of Electrical and Electronics Engineers
210  1$aNew York, New York :$cIEEE,$d2019.
215   $a1 online resource (981 pages)
330   $aThe e functional verification language is an application-specific programming language, aimed at automating the task of verifying a hardware or software design with respect to its specification. Verification environments written in e provide a model of the environment in which the design is expected to function, including the kinds of erroneous conditions the design needs to withstand. A typical verification environment is capable of generating user-controlled test inputs with statistically interesting characteristics. Such an environment can check the validity of the design responses. Functional coverage metrics are used to control the verification effort and gauge the quality of the design. e verification environments can be used throughout the design cycle, from a high-level architectural model to a fully realized system. A definition of the e language syntax and semantics and how tool developers and verification engineers should use them are contained in this standard.
606   $aApplication software$xDevelopment
615  0$aApplication software$xDevelopment.
676   $a005.114
801  0$bNjHacI
801  1$bNjHacl
906   $aDOCUMENT
912   $a9910389548603321
996   $a1647-2019 - IEEE Standard for the Functional Verification Language e - Redline$92583981
997   $aUNINA