gptkbp:instanceOf
|
gptkb:software
|
gptkbp:category
|
gptkb:software
gptkb:simulation
hardware design
electronic design automation
|
gptkbp:compatibleWith
|
gptkb:VHDL
event-driven simulation
|
gptkbp:describes
|
Verilator is an open-source tool for converting Verilog and SystemVerilog hardware designs into cycle-accurate C++ or SystemC models.
|
gptkbp:developer
|
Wilson Snyder
|
gptkbp:feature
|
linting
multi-threading
tracing
fast simulation
coverage analysis
SystemC integration
assertion support
cycle-accurate simulation
open-source licensing
|
gptkbp:firstReleased
|
2003
|
gptkbp:format
|
gptkb:SystemC
gptkb:C++
|
https://www.w3.org/2000/01/rdf-schema#label
|
Verilator
|
gptkbp:latestReleaseVersion
|
2024-05-19
5.020
|
gptkbp:license
|
gptkb:GPL
gptkb:LGPL
|
gptkbp:notableUser
|
gptkb:Google
gptkb:Western_Digital
gptkb:Intel
gptkb:Siemens
RISC-V community
|
gptkbp:platform
|
gptkb:Windows
gptkb:macOS
gptkb:Linux
|
gptkbp:programmingLanguage
|
gptkb:Perl
gptkb:Verilog
gptkb:C++
gptkb:SystemVerilog
|
gptkbp:relatedTo
|
gptkb:GHDL
gptkb:SystemC
gptkb:Icarus_Verilog
gptkb:ModelSim
|
gptkbp:repository
|
https://github.com/verilator/verilator
|
gptkbp:supports
|
gptkb:Verilog
gptkb:SystemVerilog
|
gptkbp:usedFor
|
hardware verification
linting
hardware simulation
|
gptkbp:website
|
https://www.veripool.org/verilator/
|
gptkbp:bfsParent
|
gptkb:Cocotb
gptkb:FuseSoC
gptkb:RISC-V_ecosystem
gptkb:Verilog_hardware_description_language
|
gptkbp:bfsLayer
|
7
|