Axiomise Formal Verification Apps & Services
Axiomise is a formal verification company founded in 2017 in the UK by Dr. Ashish Darbari and Dr. Vidya Chandran Darbari. It aims to make formal verification mainstream,…
Opportunities
Axiomise is a formal verification company founded in 2017 in the UK by Dr. Ashish Darbari and Dr. Vidya Chandran Darbari. It aims to make formal verification mainstream,…
Agnisys is an EDA company with its corporate office in Garland, Texas, and about two decades of experience in specification automation. It addresses the error-prone manual work of…
M31 Technology is a Taiwanese silicon IP company that positions itself as an IP boutique. It supplies silicon-proven building blocks so chip designers can avoid developing standard cells,…
Quilter is a Los Angeles company founded by CEO Sergiy Nesterenko that applies physics-driven AI to printed circuit board (PCB) design. It targets the manual placement and routing…
Arduino is the open-source electronics platform whose UNO board launched about 20 years ago; its operating company Arduino S.r.l. is incorporated in Turin, Italy, and it serves a…
Tessolve is a semiconductor engineering services company founded in Bangalore, India, in 2004 and part of Hero Electronix. It gives chip companies and system makers a single partner…
ChipAgents is the product of Alpha Design AI, a US company headquartered in San Jose, California, with R&D in Goleta, California. It applies agentic AI to the most…
Baum Design Systems is a South Korean electronic design automation (EDA) company focused on chip power analysis and modeling. It helps SoC teams estimate and reduce power consumption…
OPENEDGES Technology is a semiconductor IP company based in Seoul, South Korea, listed on KOSDAQ, with subsidiaries in Yokohama, Japan, and Shanghai, China. It supplies chip designers with…
SEMIFIVE is a platform-based SoC design company founded in Seoul, South Korea, in 2019. It helps fabless startups and device makers obtain custom chips, especially AI accelerators, without…