| 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.
CLKDA is the market and technology leader in High Accuracy Timing and Variance Characterization. Our customers include the top global semiconductor companies. Our FX Applications solve mission critical problems for chip frequency, yield, and time to market. FX is the first transistor model and simulator specifically engineered for digital variance and delay analysis. FX is in production at the most advanced IC geometries at 20nm, 16nm, 14nm and 10nm, with all of the leading foundries. Variance FX is the leading solution for generating derates in the market today. Path FX is the only solution that delivers MC SPICE accuracy with better performance than even traditional STA tools. CLKDA was founded in 2005. Its management team has over 200 years of experience in EDA between them. Our headquarters is in Littleton, Massachusetts, just outside of Boston. CLKDA has offices in California, Texas and Taiwan.
BPM Microsystems is a Houston, TX-based company in the Computers and Electronics sector.
NEXX Systems is a Billerica, MA-based company in the Computers and Electronics sector.
Grinding and Dicing Services is a San Jose, CA-based company in the Computers and Electronics sector.