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
|
https://www.w3.org/2000/01/rdf-schema#label |
Jasper Design Automation
|
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 |
6
|