CTOs on the Move

Probelogic

www.probelogic.com

 
Probelogic is a San Jose, CA-based company in the Computers and Electronics sector.
  • Number of Employees: 25-100
  • Annual Revenue: $1-10 Million

Executives

Name Title Contact Details

Similar Companies

Cavendish Kinetics

Cavendish Kinetics is a San Jose, CA-based company in the Computers and Electronics sector.

Smith

Smith is the leading independent distributor of electronic components and ranks sixth among all global distributors. As a pioneer in the electronics distribution marketplace, Smith has spent nearly 40 years developing its customer-focused business model. Driven by customer demand and market forces, Smith acquires, tests, and distributes products required by our customers. In 19 cities around the world, Smith`s legion of employees communicates in 50 languages and dialects and buys and sells components 24 hours per day, generating global annual sales in excess of $4.7 billion in 2022. Smith is a leading supplier of semiconductors, CPUs, memory, integrated circuits, peripheral devices, networking equipment and other electronic components. Smith representatives have deep product knowledge and market expertise.

Oski 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.

Parallax

Parallax is a Rocklin, CA-based company in the Computers and Electronics sector.

S2C

S2C is a San Jose, CA-based company in the Computers and Electronics sector.