| 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.
Founded in 1995, Marvell Technology Group Ltd. has operations worldwide and more than 7,000 employees. Marvell’s U.S. operating subsidiary is based in Santa Clara, California and Marvell has international design centers located in China, Europe, Hong Kong, India, Israel, Japan, Malaysia, Singapore, Taiwan and the U.S. A leading fabless semiconductor company, Marvell ships over one billion chips a year. Marvell’s expertise in microprocessor architecture and digital signal processing, drives multiple platforms including high volume storage solutions, mobile and wireless, networking, consumer and green products. World class engineering and mixed-signal design expertise helps Marvell deliver critical building blocks to its customers, giving them the competitive edge to succeed in today’s dynamic market.
Health Monitoring Services is a Columbus, MS-based company in the Computers and Electronics sector.
Triad Magnetics is a Corona, CA-based company in the Computers and Electronics sector.
Advanced Analogic Technologies, Inc. is a Santa Clara, CA-based company in the Computers and Electronics sector.