JasperGold Formal Verification Platform
GPTKB entity
Statements (22)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
formal verification tool
|
| gptkbp:acquiredBy |
gptkb:Cadence_Design_Systems
gptkb:Jasper_Design_Automation |
| gptkbp:acquisitionYear |
2014
|
| gptkbp:developedBy |
gptkb:Cadence_Design_Systems
|
| https://www.w3.org/2000/01/rdf-schema#label |
JasperGold Formal Verification Platform
|
| gptkbp:partOf |
gptkb:Cadence_Verification_Suite
|
| gptkbp:platform |
gptkb:Windows
gptkb:Linux |
| gptkbp:supportsLanguage |
gptkb:PSL
gptkb:SVA gptkb:VHDL gptkb:SystemVerilog |
| gptkbp:usedFor |
formal verification
assertion-based verification property checking equivalence checking RTL verification sequential logic verification |
| gptkbp:website |
https://www.cadence.com/en_US/home/tools/system-design-and-verification/formal-and-static-verification/jaspergold.html
|
| gptkbp:bfsParent |
gptkb:Cadence_Verification_Suite
|
| gptkbp:bfsLayer |
7
|