| Name | Title | Contact Details |
|---|
Oski`s unique formal verification services deliver peak sign-off confidence earlier in the development cycle by diving deep into design behavior to track down the most complex corner-case bugs. Our approach exhaustively proves the absence of bugs and brings a higher level of productivity to our clients, as compared with traditional simulation and formal verification approaches. Since 2005, Oski has focused on developing comprehensive formal verification methodologies to identify and sign-off high-risk blocks, achieve system-level architecture sign-off, and quickly resolve post-silicon bugs. Oski has built the largest team of formal verification experts in the world. Our founder and Chief Oski, Vigyan Singhal, did his PhD thesis at UC Berkeley in formal methods of verification. Vigyan later developed Cadence`s first-generation formal verification tool, and was the founder of Jasper Design Automation, which was later acquired by Cadence. The company is headquartered in San Jose, CA with a design center in Gurugram, India.
The Tag Tracking Company Incorporated. is a Portola Valley, CA-based company in the Computers and Electronics sector.
Advanced SaaS platform for Microgrid and distributed energy system design and operation optimization. #microgrid #distributedenergy #microgrids #DER #resilientinfrastructure #evcharging The XENDEE software platform is built atop hundreds of millions of dollars of US government R&D carried out over the past decade at the US national laboratories, most notably Lawrence Berkeley National Laboratory, and validated both in the laboratory and projects in cooperation with Arizona State University, University of California San Diego, utilities and the Electric Power Research Institute (EPRI).
Brion Technologies Incorporated is a Santa Clara, CA-based company in the Computers and Electronics sector.
OmniVision Technologies, Inc. is one of the leading companies in the Computers and Electronics sector.