درباره ما
IEEE 1647
the Functional Verification Language e - IEEE Computer Society
Year: 2011
Abstract: This standard defines the e functional verification language. This standard aims to serve as an authoritative source for the definition of (a) syntax and semantics of e language constructs, (b) the e language interaction with standard simulation languages, and (c) e language libraries.
Purpose
This standard serves the community involved with functional verification of electronic designs using the e language. It provides an implementation independent definition of the e language and facilitates the development of e language based design automation tools.
Purpose
This standard serves the community involved with functional verification of electronic designs using the e language. It provides an implementation independent definition of the e language and facilitates the development of e language based design automation tools.
Subject: assertion
Show full item record
| contributor author | IEEE - The Institute of Electrical and Electronics Engineers, Inc. | |
| date accessioned | 2017-09-04T18:24:56Z | |
| date available | 2017-09-04T18:24:56Z | |
| date copyright | 06/16/2011 | |
| date issued | 2011 | |
| identifier other | IHTENEAAAAAAAAAA.pdf | |
| identifier uri | https://yse.yabesh.ir/std/handle/yse/207199 | |
| description abstract | This standard defines the e functional verification language. This standard aims to serve as an authoritative source for the definition of (a) syntax and semantics of e language constructs, (b) the e language interaction with standard simulation languages, and (c) e language libraries. Purpose This standard serves the community involved with functional verification of electronic designs using the e language. It provides an implementation independent definition of the e language and facilitates the development of e language based design automation tools. | |
| language | English | |
| title | IEEE 1647 | num |
| title | the Functional Verification Language e - IEEE Computer Society | en |
| type | standard | |
| page | 495 | |
| status | Active | |
| tree | IEEE - The Institute of Electrical and Electronics Engineers, Inc.:;2011 | |
| contenttype | fulltext | |
| subject keywords | assertion | |
| subject keywords | concurrent programming | |
| subject keywords | constraint | |
| subject keywords | dynamic verification | |
| subject keywords | functional coverage | |
| subject keywords | functional verification | |
| subject keywords | IEEE 1647 | |
| subject keywords | simulation | |
| subject keywords | temporal logic | |
| subject keywords | test generation |