Statements (56)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:standard
|
| gptkbp:amended_by |
gptkb:2017
|
| gptkbp:applies_to |
hardware description languages
|
| gptkbp:developed_by |
gptkb:IEEE
gptkb:musical_group |
| gptkbp:enables |
hardware-software co-design
|
| gptkbp:enhances |
design productivity
|
| gptkbp:facilitates |
system-level design
|
| https://www.w3.org/2000/01/rdf-schema#label |
IEEE 1800
|
| gptkbp:improves |
design verification
|
| gptkbp:includes |
control structures
data types interfaces modular design features |
| gptkbp:is_adopted_by |
gptkb:Company
|
| gptkbp:is_compatible_with |
VHDL
Verilog |
| gptkbp:is_documented_in |
IEEE 1800-2009
IEEE 1800-2017 |
| gptkbp:is_implemented_in |
EDA tools
|
| gptkbp:is_part_of |
modeling languages
IEEE standards design automation process design analysis languages design automation languages design modeling languages design representation languages design specification languages design verification languages hardware design languages simulation languages synthesis languages testbench languages verification languages |
| gptkbp:is_related_to |
UVM
VMM OVM |
| gptkbp:is_standardized_by |
gptkb:IEEE_Standards_Association
|
| gptkbp:is_supported_by |
gptkb:academic_research
industry standards various vendors |
| gptkbp:is_used_by |
chip designers
|
| gptkbp:is_used_for |
FPGA design
ASIC design |
| gptkbp:is_used_in |
embedded systems
digital circuit design system-on-chip design mixed-signal design |
| gptkbp:provides |
syntax and semantics for hardware description
testbench capabilities |
| gptkbp:published_in |
gptkb:2009
|
| gptkbp:related_to |
gptkb:System_Verilog
|
| gptkbp:supports |
verification methodologies
|
| gptkbp:used_in |
electronic design automation
|
| gptkbp:bfsParent |
gptkb:System_Verilog
|
| gptkbp:bfsLayer |
6
|