| Name | Title | Contact Details |
|---|
4WAVE is a Sterling, VA-based company in the Computers and Electronics sector.
indie is empowering the Autotech revolution with next-generation automotive semiconductors and software platforms. We focus on edge sensors spanning multiple modalities, including LiDAR, radar, ultrasound and computer vision for Advanced Driver Assistance Systems (ADAS), user experience and electrification applications. These technologies represent the core underpinnings of both electric and autonomous vehicles while our advanced user interfaces enabled by our mixed-signal SoCs transform the in-cabin experience to mirror and seamlessly connect to the mobile platforms we rely on every day. We are an approved vendor to Tier 1 partners and our solutions can be found in marquee automotive OEMs around the world.
Belt Technologies is a Agawam, MA-based company in the Computers and Electronics sector.
Avalanche Technology, headquartered in Fremont, California, is the world leader in Spin Transfer Torque Magnetic RAM (STT-MRAM) non-volatile memory leveraging perpendicular magnetic tunnel junction (pMTJ) cell structure manufactured on 300mm standard CMOS process. Backed by more than 270+ granted patents around cell, circuit, and system design leveraging MRAM, our technology and products provide breakthrough speeds, unlimited endurance and non-volatility while reducing power and cost. With such attributes, our technology will serve and exceed our customers` objectives as a replacement for SRAM, eFlash, and ROM in embedded applications in addition to discrete SRAM, non-volatile SRAM, NOR and DRAM.
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.