| 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.
Nordic Semiconductor is a Norwegian fabless semiconductor company specializing in wireless communication technology that powers the Internet of Things (IoT). Nordic was established in 1983 and has more than 1000 employees across the globe. Our award-winning Bluetooth Low Energy solutions pioneered ultra-low power wireless, making us the global market leader. Our technology range was later supplemented by ANT+, Thread and Zigbee, and in 2018 we launched our low power, compact LTE-M/NB-IoT cellular IoT solutions to extend the penetration of the IoT. The Nordic portfolio was further complemented by Wi-Fi technology in 2021. Working for Nordic Semiconductor, you will be challenged and supported. Our teams enjoy a professional, informal working environment and we value and encourage continuous development of skills and expertise to the very highest levels, through in-house opportunities and external training. A close-knit, highly-skilled, international work-force, we are proud of our Norwegian heritage, world-leading innovation and professional excellence.
ReneSola is a San Francisco, CA-based company in the Computers and Electronics sector.
Dover`s lineage began in 2010 as the largest performer on the DARPA CRASH program. In 2015, Dover began incubation inside Draper before spinning out in 2017. Based in Boston, Dover is the first company to bring real security to silicon. Dover`s patented CoreGuard solution delivers protection against cyberattacks, and integrates with market-leading RISC processors to eliminate software vulnerability risk from endpoint devices.
APCT is a leading manufacturer of high reliability printed circuit boards, offering a broad range of technologies from standard to highly advanced; from rigid to flex; all at world class cycle times.