Aniah

Aniah is an EDA company that develops OneCheck, a formal electrical rule checking (ERC) tool for analog and mixed-signal IC designs. OneCheck verifies circuit netlist without simulation --catching floating gates, leakage paths, voltage stress, and high-impedance nodes early. It integrates with Cadence Virtuoso via cross-probing and schematic overlays, and pairs with Aniah Amigo, an AI assistant that helps designers triage and resolve violations faster. 

 

Technology Highlights

• The problem: Advanced mixed-signal tape-out is bottlenecked by expert review, not just tool runtime. ERC warnings, false positives, incomplete simulations, and analog edge cases make sign-off slow and risky.
• The solution: One Platform = OneCheck + Amigo AI. OneCheck provides the formal semantic circuit model; Amigo AI turns that grounded context into explanations, SPICE evidence, reports, and reusable review memory.
• The proof and opportunity: Industrial validation shows real true-positive findings across advanced-node blocks, with customer adoption and a broader evaluation pipeline. The opportunity is to turn expert ERC review into a repeatable, scalable verification workflow.