Statements (74)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:computer
|
| gptkbp:bfsLayer |
3
|
| gptkbp:bfsParent |
gptkb:API
|
| gptkbp:developed_by |
gptkb:Accellera
|
| gptkbp:features |
interfaces
|
| gptkbp:first_released |
gptkb:2005
|
| gptkbp:has_expansion |
Verilog
|
| https://www.w3.org/2000/01/rdf-schema#label |
System Verilog
|
| gptkbp:includes |
user-defined types
dynamic arrays assertions system functions system tasks assertion libraries assertion-based constructs clocking blocks cover points initial blocks package constructs random constraints system functions and tasks system-level constructs |
| gptkbp:is_standardized_by |
gptkb:IEEE_1800
|
| gptkbp:is_used_for |
design verification
hardware-software co-design design specification design modeling protocol verification hardware modeling testbench development verification environments |
| gptkbp:provides |
enhanced performance
improved productivity system-level modeling enhanced simulation capabilities enhanced data types assert statement enhanced modeling capabilities event control improved debugging features improved verification methodologies interface constructs random stimulus generation randomization capabilities sequential and parallel execution testbench components |
| gptkbp:supports |
formal verification
modular programming object-oriented programming inter-process communication data abstraction multi-threading queues class-based programming design abstraction system-level design design reuse assertion-based verification concurrent assertions constraint random generation cover groups design verification environments functional coverage modular verification system-level verification task and function constructs testbench automation testbench reuse |
| gptkbp:used_in |
gptkb:Company
FPGA design embedded systems design ASIC design design automation tools verification methodologies |