Statements (86)
Predicate | Object |
---|---|
gptkbp:instanceOf |
hardware description language
hardware verification language |
gptkbp:designedFor |
hardware verification
semiconductor design hardware modeling |
gptkbp:extendsTo |
gptkb:Verilog
|
gptkbp:hasFeature |
classes
interfaces enumerations unions packages constraints assertions strong typing associative arrays typedef dynamic arrays queues randomization do-while loop structs always_comb block always_ff block always_latch block automatic variables break/continue statements clocking blocks cover bins cover bins coverage cover bins coverage options cover bins coverage sampling cover bins coverage sampling options cover bins options cover bins sampling cover directives cover directives coverage cover directives coverage options cover directives coverage sampling cover directives coverage sampling options cover directives options cover directives sampling covergroup covergroup coverage covergroup coverage options covergroup coverage sampling covergroup coverage sampling options covergroup options covergroup sampling covergroups coverpoint coverpoint coverage coverpoint coverage options coverpoint coverage sampling coverpoint coverage sampling options coverpoint options coverpoint sampling coverpoints cross coverage foreach loop logic data type modports typedef enum typedef struct typedef union unique/priority case statements |
https://www.w3.org/2000/01/rdf-schema#label |
SystemVerilog
|
gptkbp:latestReleaseVersion |
gptkb:IEEE_1800-2017
|
gptkbp:standardizedBy |
gptkb:IEEE
2005 |
gptkbp:standardNumber |
gptkb:IEEE_1800
|
gptkbp:supports |
interfaces
object-oriented programming packages constraints assertions randomization clocking blocks covergroups |
gptkbp:usedBy |
verification engineers
chip designers |
gptkbp:usedFor |
RTL design
functional verification testbench development |
gptkbp:bfsParent |
gptkb:Verilog
gptkb:FPGA |
gptkbp:bfsLayer |
5
|