| Name | Title | Contact Details |
|---|
inTEST Corporation designs and manufactures engineered solutions for ATE and other electronic test, as well as industrial process applications. Our products are used by semiconductor manufacturers to perform development, qualifying and final testing of integrated circuits (ICs) and wafers, and for other electronic test across a range of industries including the automotive, defense/aerospace, energy, industrial and telecommunications markets. We offer induction heating products for joining and forming metals in a variety of industrial markets, including automotive, aerospace, machinery, wire & fasteners, medical, semiconductor, food & beverage, and packaging. Specific products include temperature management systems, induction heating products, manipulator and docking hardware products, and customized interface solutions. We have established strong relationships with our customers globally, which we support through a network of local offices. Headquartered in Mt. Laurel, New Jersey, with four U.S. manufacturing locations and sales and service in seven countries. Businesses provide solutions for industrial process, thermal test and development and semiconductor test. We`re not just semi, we make things hot and cold where it matters.
Orcaware Consulting is a Marina Del Rey, CA-based company in the Computers and Electronics sector.
Texas Instruments (TI) is a global analog and digital semiconductor IC design and manufacturing company. In addition to analog technologies, digital signal processing (DSP) and microcontroller (MCU) semiconductors, TI designs and manufactures semiconductor solutions for analog and digital embedded, application processing, and Education Technology.
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.
Bi Ra Systems Inc is a Albuquerque, NM-based company in the Computers and Electronics sector.