Statements (17)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:company
|
| gptkbp:acquiredBy |
gptkb:Cadence_Design_Systems
|
| gptkbp:acquisitionYear |
2014
|
| gptkbp:country |
gptkb:United_States
|
| gptkbp:foundedYear |
1999
|
| gptkbp:founder |
Kathryn Kranen
|
| gptkbp:headquartersLocation |
gptkb:Mountain_View,_California,_United_States
|
| gptkbp:industry |
gptkb:Electronic_Design_Automation
|
| gptkbp:keyPerson |
Andreas S. Meyer
Kathryn Kranen Raik Brinkmann |
| gptkbp:product |
formal verification software
|
| gptkbp:status |
acquired
|
| gptkbp:website |
www.jasper-da.com
|
| gptkbp:bfsParent |
gptkb:JasperGold
|
| gptkbp:bfsLayer |
7
|
| https://www.w3.org/2000/01/rdf-schema#label |
Jasper Design Automation
|