SystemVerilog

GPTKB entity

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