Verisity

URI: https://gptkb.org/entity/Verisity
GPTKB entity
Statements (16)
Predicate Object
gptkbp:instanceOf gptkb:company
gptkbp:acquiredBy gptkb:Cadence_Design_Systems
gptkbp:acquisitionYear 2005
gptkbp:country gptkb:United_States
gptkbp:foundedYear 1997
gptkbp:founder gptkb:Moshe_Gavrielov
gptkb:Yaron_Kashai
gptkbp:headquartersLocation gptkb:Mountain_View,_California,_United_States
https://www.w3.org/2000/01/rdf-schema#label Verisity
gptkbp:industry electronic design automation
gptkbp:product gptkb:Specman
e Verification Language
gptkbp:stockExchange gptkb:Nasdaq
gptkbp:stockSymbol gptkb:VRST
gptkbp:bfsParent gptkb:BA_Venture_Partners
gptkbp:bfsLayer 7