Statements (23)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
electronic design automation
|
| gptkbp:category |
EDA Tool
|
| gptkbp:component |
gptkb:Cadence_Verification_Suite
|
| gptkbp:developedBy |
gptkb:Cadence_Design_Systems
|
| gptkbp:feature |
Formal Verification
Assertion-Based Verification Coverage Analysis Low Power Verification Mixed-Language Simulation Testbench Automation |
| https://www.w3.org/2000/01/rdf-schema#label |
Cadence Incisive
|
| gptkbp:platform |
gptkb:Windows
gptkb:Linux |
| gptkbp:predecessor |
gptkb:Cadence_Xcelium
|
| gptkbp:supportsLanguage |
gptkb:VHDL
gptkb:Verilog gptkb:SystemVerilog e Language |
| gptkbp:usedFor |
gptkb:simulation
Emulation Functional Verification |
| gptkbp:bfsParent |
gptkb:Verilog
|
| gptkbp:bfsLayer |
5
|