e (hardware verification language)
GPTKB entity
Statements (22)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
hardware verification language
|
| gptkbp:acquiredBy |
gptkb:Cadence_Design_Systems
|
| gptkbp:category |
hardware description language
verification language |
| gptkbp:designedBy |
gptkb:Verisity
|
| gptkbp:fileExtension |
.e
|
| gptkbp:firstAppearance |
1997
|
| https://www.w3.org/2000/01/rdf-schema#label |
e (hardware verification language)
|
| gptkbp:influencedBy |
gptkb:Specman
|
| gptkbp:paradigm |
object-oriented
aspect-oriented |
| gptkbp:runsOn |
Specman Elite
|
| gptkbp:standardizedBy |
gptkb:IEEE
IEEE 1647 |
| gptkbp:supports |
constraint solving
coverage-driven verification random stimulus generation reuse of verification components |
| gptkbp:usedFor |
functional verification
|
| gptkbp:usedIn |
semiconductor industry
|
| gptkbp:bfsParent |
gptkb:IEEE_1364_(Verilog)
|
| gptkbp:bfsLayer |
7
|