Statements (16)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:software
|
| gptkbp:developedBy |
gptkb:Siemens_EDA
|
| https://www.w3.org/2000/01/rdf-schema#label |
Questa Secure Platform
|
| gptkbp:partOf |
Questa Verification Solution
|
| gptkbp:provides |
formal verification
simulation-based verification security verification automation |
| gptkbp:supports |
gptkb:VHDL
gptkb:Verilog gptkb:UVM gptkb:SystemVerilog |
| gptkbp:usedFor |
functional verification
hardware security verification |
| gptkbp:website |
https://eda.sw.siemens.com/en-US/ic/questa/secure-platform/
|
| gptkbp:bfsParent |
gptkb:Questa
|
| gptkbp:bfsLayer |
7
|