| 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.
Chingis Technology Corporation is a San Jose, CA-based company in the Computers & Electronics sector.
Renesas Electronics Corporation delivers trusted embedded design innovation with complete semiconductor solutions that enable billions of connected, intelligent devices to enhance the way people work and live—securely and safely. Business operations began as Renesas Electronics in April 2010 through the integration of NEC Electronics Corporation (TSE:6723) and Renesas Technology Corp., with operations spanning research, development, design and manufacturing for a wide range of applications. With Intersil`s (NASDAQ:ISIL) integration in February 2017, it has boosted Renesas` portfolio to include a wider range of high performance precision analog, mixed-signal and power management solutions that no other are able to offer, making us a world class provider of the three solutions: Device, Kit & Platform. Renesas Electronics is headquartered in Japan, with subsidiaries in 20 countries worldwide. A global leader in microcontrollers, analog, power and SoC products, Renesas provides the expertise, quality, and comprehensive solutions for a broad range of Automotive, Industrial, Home Electronics (HE), Office Automation (OA) and Information Communication Technology (ICT) applications to help shape a limitless future.
2020 Fusion is a Redwood City, CA-based company in the Computers and Electronics sector.
Electroglas Inc is a supplier of semiconductor manufacturing equipment and software to the global semiconductor industry. The CompanyÍs primary product line is automated wafer probing equipment and related network software to manage information from that