GPTKB
Browse
Query
Compare
Download
Publications
Contributors
Search
IEEE 1800-2012
URI:
https://gptkb.org/entity/IEEE_1800-2012
GPTKB entity
Statements (17)
Predicate
Object
gptkbp:instanceOf
gptkb:standard
gptkbp:covers
gptkb:SystemVerilog
gptkbp:documentType
gptkb:technical_specification
gptkbp:domain
gptkb:hardware_description_language
gptkbp:fullName
gptkb:IEEE_Standard_for_SystemVerilog—Unified_Hardware_Design,_Specification,_and_Verification_Language
gptkbp:language
English
gptkbp:partOf
gptkb:IEEE_Standards_Association
gptkbp:publicationYear
2012
gptkbp:publishedBy
gptkb:Institute_of_Electrical_and_Electronics_Engineers
gptkbp:replacedBy
gptkb:IEEE_1800-2017
gptkbp:standardNumber
1800-2012
gptkbp:updated
IEEE 1800-2009
gptkbp:usedFor
hardware design
hardware verification
gptkbp:bfsParent
gptkb:IEEE_1800-2017
gptkbp:bfsLayer
9
https://www.w3.org/2000/01/rdf-schema#label
IEEE 1800-2012