JasperGold

GPTKB entity

Statements (20)
Predicate Object
gptkbp:instanceOf formal verification tool
gptkbp:acquiredBy gptkb:Cadence_Design_Systems
gptkbp:acquisitionYear 2014
gptkbp:developedBy gptkb:Cadence_Design_Systems
gptkb:Jasper_Design_Automation
https://www.w3.org/2000/01/rdf-schema#label JasperGold
gptkbp:platform gptkb:Windows
gptkb:Linux
gptkbp:supports gptkb:PSL
gptkb:VHDL
gptkb:Verilog
gptkb:SystemVerilog_Assertions
gptkbp:usedFor formal verification
assertion-based verification
property checking
gptkbp:usedIn hardware verification
semiconductor design
gptkbp:website https://www.cadence.com/en_US/home/tools/system-design-and-verification/formal-and-static-verification/jaspergold.html
gptkbp:bfsParent gptkb:Cadence
gptkbp:bfsLayer 5