Statements (20)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:software
|
| gptkbp:category |
gptkb:Electronic_Design_Automation
|
| gptkbp:developedBy |
gptkb:Cadence_Design_Systems
|
| https://www.w3.org/2000/01/rdf-schema#label |
Cadence Verification Suite
|
| gptkbp:includes |
gptkb:JasperGold_Formal_Verification_Platform
gptkb:Palladium_Z1_Enterprise_Emulation_Platform gptkb:Protium_S1_FPGA-Based_Prototyping_Platform gptkb:Xcelium_Parallel_Logic_Simulator gptkb:vManager_Metric-Driven_Signoff_Platform |
| gptkbp:platform |
gptkb:Windows
gptkb:Linux |
| gptkbp:supports |
prototyping
formal verification emulator functional verification metric-driven verification |
| gptkbp:usedFor |
semiconductor verification
|
| gptkbp:website |
https://www.cadence.com/en_US/home/tools/system-design-and-verification/verification-suite.html
|
| gptkbp:bfsParent |
gptkb:Cadence_Incisive
|
| gptkbp:bfsLayer |
6
|