| 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.
Headquartered in Overland Park, Kansas, Selex ES Inc is a leader in Air Traffic Management, Law Enforcement, and Communications technologies. The company delivers robust solutions for the pressing needs of Government Agencies, Armed Forces, and Commercial and Industrial operators. In addition to full design, production, and commissioning in the US, Selex ES Inc ensures seamless access to the full product offerings of the Selex ES group for military and civil markets, including Smart Buildings, Automation and Transportation. Operating in the US for more than 100 years, we have built successful domestic and international businesses in the fields of Air Traffic Management, Law Enforcement, Communications and Smart Buildings. The Selex ES business in the US brings together the three US businesses of Selex Systems Integration Inc, Selex Communications Inc and Elsag North America LLC to create a unified business uniquely positioned to address the rapidly changing high technology needs of defense, security, commerce, transportation and civil resilience in the US market. Selex ES Inc values the long and distinguished history of these businesses and reflects the entire Selex ES group’s commitment to providing superior solutions to meet today’s pressing needs. Our presence in the US is also enhanced by Selex ES subsidiary companies Selex Galileo Inc., Sirio Panel Inc. and Lasertel Inc. SELEX ES Inc is a wholly-owned US subsidiary of Selex ES SpA, a Finmeccanica company.
Sonic Manufacturing Technologies is a Fremont, CA-based company in the Computers and Electronics sector.
Arm technology is at the heart of a computing and connectivity revolution that is transforming the way people live and businesses operate. Our advanced, energy-efficient processor designs are enabling the intelligence in 100 billion silicon chips and securely powering products from the sensor to the smartphone to the supercomputer. With more than 1,000 technology partners including the world`s largest business and consumer brands, we are driving Arm innovation into all areas compute is happening inside the chip, the network and the cloud. All Arm trademarks featured on this company page are registered trademarks or trademarks of Arm Limited (or its subsidiaries) in the US and/or elsewhere.
Multek, a wholly-owned subsidiary of Flextronics, is a leading manufacturer of PCB and display technologies. Ranked as one of the world's top ten PCB suppliers, Multek offers a broad spectrum of engineering and manufacturing expertise including rigid and flexible circuits, assembly, specialty materials, as well as display and touch solutions.