| SmartDV Technologies India Private Limited Sells a wide range of verification IP, synthesizable verification IP, assertion IP, design IP, and verification service learn more |
| emmtrix Technologies Automatic parallelization of software for multi-core, GPU, DSP, and vector processors learn more |
| Blue Pearl Software Integrated debugging environment with editor, lint, CDC, and SDC generation, allowing debugging from the coding stage learn more |
| Agnisys, Inc. Automatic generation of synthesizable register RTL, UVM models, C header files, documents, test sequences, etc. from register specification from Word, Excel, csv, etc. learn more |
| MachineWare GmbH Spined-off from the RWTH Aachen University, Germany, which has produced products such as COSSAP, LISATek, and Silexica, SIM-V can generate RISC-V and ARM ISS. It operates at ultra-high speeds ranging from several hundred MHz to several GHz. learn more learn more |
| Vervesemi Microelectronics Pvt LTD Vervesemi develops and markets ultra-high precision, ultra-high speed, and low-power ADC and DAC analog IP, as well as custom ASIC development. Each analog IP is equipped with a patented automatic calibration system learn more |