| 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.
MJS Designs Inc is a Phoenix, AZ-based company in the Computers and Electronics sector.
Geib Refining Corp is a Warwick, RI-based company in the Computers and Electronics sector.
Founded in 1927, Littelfuse, Inc., the worldwide leader in circuit protection, offers the industry’s broadest and deepest portfolio of circuit protection products and solutions. Littelfuse devices protect products in virtually every market that uses electrical energy, from consumer electronics to automobiles to industrial equipment. In addition to its Chicago, Illinois, world headquarters, Littelfuse has more than 30 sales, distribution, manufacturing and engineering facilities in the Americas, Europe and Asia. Littelfuse offers a comprehensive line of highly reliable technologies. Products include Fuses; Gas Discharge Tubes (GDTs); Positive Temperature Coefficient Devices (PTCs); Protection Relays; PulseGuard® ESD Suppressors; SIDACtor® Devices; TVS Diode Arrays (SPA™ Family of Products); Switching Thyristors; TVS Diodes and Varistors. The company also offers a comprehensive line of highly reliable Electromechanical and Electronic Switch and Control Devices for commercial and specialty vehicles and Sensors for automobile safety systems, as well as underground Power Distribution Centers for the safe control and distribution of electricity in mining operations.
Transtech is a Airway Heights, WA-based company in the Computers and Electronics sector.