Statements (59)
Predicate | Object |
---|---|
gptkbp:instance_of |
gptkb:simulation
|
gptkbp:can_be_used_with |
third-party tools
|
gptkbp:developed_by |
gptkb:Cadence_Design_Systems
|
gptkbp:enables |
early bug detection
|
gptkbp:has |
gptkb:user_interface
extensive documentation |
https://www.w3.org/2000/01/rdf-schema#label |
Xcelium
|
gptkbp:integrates_with |
gptkb:Cadence_tools
|
gptkbp:is_available_in |
various licensing models
|
gptkbp:is_available_on |
cloud platforms
|
gptkbp:is_compatible_with |
gptkb:Linux_operating_system
gptkb:operating_system multiple languages |
gptkbp:is_integrated_with |
CI/ CD pipelines
|
gptkbp:is_known_for |
flexibility
high accuracy high performance scalability user-friendly interface robustness advanced debugging features |
gptkbp:is_optimized_for |
complex designs
high-speed designs large designs |
gptkbp:is_part_of |
Cadence Xcelium product family
Cadence cloud solutions Cadence verification ecosystem Cadence verification suite |
gptkbp:is_supported_by |
Cadence customer support
|
gptkbp:is_used_by |
semiconductor companies
design engineers verification engineers |
gptkbp:is_used_for |
performance analysis
regression testing functional verification |
gptkbp:is_used_in |
gptkb:Telecommunications
automotive applications consumer electronics aerospace applications |
gptkbp:offers |
system-level verification
customizable simulation environments fast simulation speeds |
gptkbp:provides |
debugging capabilities
transaction-level modeling assertion-based verification multi-threaded simulation coverage analysis |
gptkbp:released_in |
gptkb:2015
|
gptkbp:supports |
gptkb:System_Verilog
UVM VHDL formal verification mixed-signal simulation AI-driven verification low-power verification |
gptkbp:used_for |
digital design verification
|
gptkbp:utilizes |
parallel processing
|
gptkbp:bfsParent |
gptkb:Cadence_Design_Systems_Gmb_H
|
gptkbp:bfsLayer |
7
|