Statements (13)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:aircraft
|
| gptkbp:developed_by |
Wilson Snyder
|
| gptkbp:first_released |
gptkb:1997
|
| https://www.w3.org/2000/01/rdf-schema#label |
Verilator
|
| gptkbp:is_open_source |
gptkb:theorem
|
| gptkbp:is_used_for |
hardware description language simulation
|
| gptkbp:language |
gptkb:C++
|
| gptkbp:latest_version |
4.210
|
| gptkbp:operating_system |
Cross-platform
|
| gptkbp:provides |
cycle-accurate simulation
|
| gptkbp:supports |
gptkb:System_Verilog
|
| gptkbp:bfsParent |
gptkb:RISC-V
|
| gptkbp:bfsLayer |
3
|