gptkbp:instance_of
|
gptkb:standard
|
gptkbp:bfsLayer
|
8
|
gptkbp:bfsParent
|
gptkb:Verilog-A
|
gptkbp:amended_by
|
gptkb:2001
gptkb:2005
gptkb:2009
gptkb:2012
gptkb:2017
|
gptkbp:based_on
|
gptkb:language
|
gptkbp:defines
|
Event-driven simulation
Syntax and semantics of Verilog
|
gptkbp:developed_by
|
gptkb:API
|
gptkbp:enables
|
Testbench creation
|
gptkbp:facilitates
|
Design verification
|
gptkbp:first_published
|
gptkb:1995
|
gptkbp:has_expansion
|
gptkb:System_Verilog
gptkb:Verilog-AMS
|
gptkbp:has_impact_on
|
Hardware design methodologies
|
https://www.w3.org/2000/01/rdf-schema#label
|
IEEE 1364
|
gptkbp:includes
|
Behavioral modeling
Structural modeling
Dataflow modeling
Operators and expressions
|
gptkbp:is_adopted_by
|
Various EDA tools
|
gptkbp:is_compatible_with
|
gptkb:System_Verilog
|
gptkbp:is_described_as
|
Verilog hardware description language
|
gptkbp:is_documented_in
|
gptkb:IEEE_Xplore
|
gptkbp:is_often_used_in
|
Digital circuit design
|
gptkbp:is_part_of
|
IEEE standards
|
gptkbp:is_recognized_by
|
International standards organizations
|
gptkbp:is_related_to
|
gptkb:microprocessor
Embedded systems
Digital logic design
|
gptkbp:is_supported_by
|
Commercial simulators
Open-source simulators
|
gptkbp:is_used_for
|
FPGA design
ASIC design
|
gptkbp:is_used_in
|
gptkb:XMPP_Extension_Protocol
gptkb:Io_T_devices
gptkb:robot
gptkb:technology
gptkb:Telecommunications_company
Consumer electronics
Control systems
Medical devices
Automotive systems
Industrial automation
Smart devices
Aerospace applications
Power electronics
Signal processing applications
Artificial intelligence hardware
|
gptkbp:latest_version
|
gptkb:2005
|
gptkbp:provides
|
Concurrency modeling
Hierarchical design capabilities
|
gptkbp:published_by
|
gptkb:1995
gptkb:API
|
gptkbp:related_to
|
VHDL
Verilog
|
gptkbp:supports
|
Parameterized modules
Simulation and synthesis
|
gptkbp:training
|
Engineering curricula
|
gptkbp:used_in
|
gptkb:computer
Electronic design automation
|