Neurealm executed comprehensive functional verification for a complex radar System‑on‑Chip (SoC) for a US‑based Tier 1 semiconductor customer, owning more than half of the SoC’s test cases and applying formal and fault‑injection techniques across multiple variants.

Business Context

A leading Tier 1 semiconductor company developing a family of radar SoCs ranging from low‑power to high‑performance designs engaged Neurealm to scale verification efforts. The verification scope included multi‑core processing, high‑speed connectivity (Aurora, MIPI), multi‑level NIC bus fabrics, and integration of advanced digital IP. The customer needed a large, expert verification team to systematically address connectivity, reset/clock logic, and ensure robust functional coverage ahead of production.

Solutions

Neurealm deployed a multi‑year validation engagement with a peak 10‑member team, adopting a time‑and‑materials execution model. Key contributions included managing over 22,000 test cases, using formal verification (Jasper Gold) for connectivity and clock/reset assertions, digital fault injection with Vmanager and Xcelium, porting legacy Specman environments, and generating functional safety traceability artifacts—delivering deep verification coverage across four SoC variants.