Aniah
Aniah is a Grenoble-based semiconductor EDA company that builds OneCheck, a transistor-level electrical verification tool for full-chip IC design, serving semiconductor IDMs, design houses, and automotive chip companies via direct enterprise sales and Cadence Virtuoso integration.
- Company typePrivate
- Founded2019
- HeadquartersGrenoble, France
- Headcount11–50
- GTM typeB2B
- OfferingSoftware
Aniah firmographics
Firmographics- Name
- Aniah
- Legal name
- ANIAH
- Website
- https://aniah.fr
- Company type
- Private
- Founded year
- 2019
- Operating status
- Operating
- Headcount range
- 11–50 employees
- Short description
- Aniah is a Grenoble-based semiconductor EDA company that builds OneCheck, a transistor-level electrical verification tool for full-chip IC design, serving semiconductor IDMs, design houses, and automotive chip companies via direct enterprise sales and Cadence Virtuoso integration.
- Ownership category
- akta.pro rank
Where Aniah is headquartered
LocationHeadquarters
- HQ city
- Grenoble
- HQ country
- France
- HQ region
- Europe
Offices3 records
Markets served
Aniah business model
Business model- GTM type
- B2B
- Offering type
- Software
- Cost components
- Personnel, Technology or R&D, Marketing or Sales, Operations, Infrastructure
Revenue model
- Software License / Subscription (inferred): Enterprise EDA software licensing model. OneCheck is sold as a professional engineering tool targeting semiconductor design teams. Given the enterprise B2B nature, pricing is likely subscription or perpetual license-based, with annual support/maintenance contracts. The company does not publicly disclose pricing; all sales go through direct contact with the sales team.
Pricing tiers
| Model | Billing | Price |
|---|---|---|
| Subscription | Annual | Enterprise/contact-based pricing |
Go-to-market motion3 records
Distribution channels6 records
Marketing channels7 records
Aniah product offering
Product offeringCore offering
Aniah develops and sells OneCheck, an electrical rule checking (ERC) software that performs exhaustive, vectorless, static transistor-level verification on full ICs (up to one billion transistors). The product detects electrical design errors such as conditional high-impedance, reliability/overstress, missing isolation, leakage, and level shifter issues with 100-1000x fewer false errors than traditional Spice and static ERC tools, and is sold to semiconductor IDMs and fabless design houses via a consultative B2B enterprise model.
Product overview
Aniah is a semiconductor EDA (Electronic Design Automation) company offering a suite of electrical verification software for chip design. The core product is OneCheck, a transistor-level ERC tool delivering exhaustive formal analysis across full ICs at scale. OneCheck is augmented by Amigo AI, an AI assistant that applies large language models and semantic reconstruction to make verification more explainable and interactive. The portfolio also includes Smart Network Analysis (reducing false errors 100–1000x), a Pseudo-Spice Engine (detecting errors Spice simulators miss), and whitepapers covering topics such as false error classification, high-impedance detection, and mixed-signal verification. All products are unified around Aniah's proprietary circuit analysis algorithm built from scratch for vectorless static transistor-level verification.
Differentiator
Problem solved
Functional benefit
Brands
- OneCheck: Aniah's flagship electrical verification platform for semiconductor design that detects and prevents electrical connectivity and reliability issues early in the design process.
- Amigo AI
- Amigo.IA
Products and services
- OneCheck OneCheck is Aniah's flagship electrical rule checking (ERC) software for semiconductor design. It performs exhaustive, vectorless, static transistor-level verification on full ICs (up to one billion transistors), detecting electrical errors such as conditional high-impedance, reliability/overstress, missing isolation, leakage, level shifter issues, and power domain crossings. It is sold to semiconductor IDMs and fabless design houses and integrates with Cadence Virtuoso.
- Amigo AI (Amigo.IA) Amigo AI (also branded Amigo.IA) is Aniah's AI assistant for analog and mixed-signal verification. Built on deterministic semantic reconstruction, root-cause clusterization, and System Conditional Analysis (SysCon), it transforms raw netlist data into verified, causally grounded models to deliver explainable, auditable, and actionable AI-powered verification insights.
Quantifiable outcome
- Reduces false errors by 100-1000x compared to traditional Spice and static ERC approaches
- +4 more outcomes
Companies that use Aniah
Customer profileNamed customers3 records
Segments2 records
Ideal customer profiles2 records
Aniah technology and API
TechnologyTechnology focussed Yes
API detail
- Has API
- No
- API docs
- API detail
Core technology
AI maturity
App detail
Integration1 record
AI capability7 records
Feature6 records
Aniah partnerships and signals
Strategic signalPartnerships
Eight partnerships are on record, tiered core, flagship and minor.
- Saphirus Inc.coreU.S. partnership providing technical expertise and deep market insights to forge relationships with key industry leaders and influencers. Part of Aniah's strategic alliances to accelerate development and customer excellence in North America.
- Kaviaz TechnologycoreTaiwan partnership to introduce Aniah's EDA/IP solutions to the Taiwanese design house ecosystem. Opens gateway to revolutionizing the EDA/IP landscape in Taiwan, one of the world's key semiconductor design hubs.
- LomicrocoreChinese market distributor guiding Aniah through the vast Chinese market, enabling intimate understanding of the local market and seamless adaptation of Aniah's offerings to local needs.
- Micon GlobalcoreStrategic ally in Europe and Israel. This partnership strengthens Aniah's existing presence in these regions as a complementary channel to direct sales.
- PROPHESEEcoreCollaboration to strengthen technological synergies. PROPHESEE integrated OneCheck into its design flows to guarantee the quality of its neuromorphic vision products. PROPHESEE is based in Paris with offices in Grenoble, Shanghai, Tokyo, and Silicon Valley. Thomas Finateu, VP Sensor at PROPHESEE, stated: 'OneCheck finally allows a signoff tool in the field of electrical errors.'
- France 2030 / EEcone ProgramflagshipAniah received France 2030 recognition and participates in the EEcone (European ECosystem for greeN Electronic) collaborative program alongside CEA-leti, SOITEC, STMICRO, and Dassault Systèmes. The program aims to develop and deploy European electronics with low environmental impact. Aniah benefits from R&D investment support and institutional visibility.
- AENEAS AssociationminorAniah joined the AENEAS (Association for European NanoElectronics ActivitieS) association, integrating into an ecosystem of 550+ members including SMEs, Research Institutes, Universities, and Large Industry from the ECS value chain. Provides networking, policy influence, and access to funding.
- Cadence Design Systems (Connections Program)coreAniah joined Cadence's Connections Program in May 2022. OneCheck integrates with Cadence Virtuoso Schematic Editor, enabling customers to use Aniah's ERC tool directly within Virtuoso. Full integration achieved in October 2025 with seamless back-annotation capabilities.
Scale indicators7 records
Recent moves6 records
Expansion highlights6 records
Aniah competitors and assessment
Company assessmentBroad incumbents
- Siemens EDA (formerly Mentor Graphics): Siemens's EDA division offers Calibre (physical verification), Tessent (DFT), and analog/mixed-signal tools that overlap with Aniah's transistor-level ERC. As a broad incumbent, Siemens EDA competes with Aniah in mixed-signal verification while serving a much larger global customer base.
- Cadence Design Systems: Dominant EDA incumbent whose Virtuoso platform is Aniah's primary integration and distribution partner. Cadence offers its own electrical verification and ERC capabilities within a broad EDA portfolio spanning digital, analog, and verification—directly overlapping with Aniah's OneCheck niche.
- Synopsys: Largest EDA vendor with comprehensive verification, synthesis, and physical design tools. Synopsys competes head-on with Aniah via its Custom Compiler, PrimeSim, and other electrical verification offerings, and aggressively invests in AI-driven EDA (Synopsys.ai) that competes with Aniah's Amigo AI.
- Zuken: EDA vendor specializing in PCB and IC design tools, with overlap in the European semiconductor ecosystem. Comparable as a mid-sized EDA incumbent with chip-level design offerings, though with stronger PCB and packaging focus than Aniah's transistor-level ERC specialty.
Direct peers
- Real Intent: Real Intent (acquired by Cadence in 2022) provided formal and static verification tools for IC design with similar false-error reduction claims. Direct historical competitor in transistor-level and RTL verification, now folded into Cadence's portfolio and validating the market segment Aniah targets.
Emerging players
- Concept Engineering: Provides schematic visualization, debugging, and transistor-level analysis tools for IC design teams. Comparable in serving the analog/mixed-signal design debugging workflow that complements electrical verification—relevant peer in the transistor-level design tools category.
- Agnisys: Provides specification-driven verification and design automation for complex SoCs, IP, and analog/mixed-signal designs. Comparable as a smaller EDA company addressing chip verification pain points for semiconductor design teams, with overlap in serving analog/mixed-signal designers.
- Breker Verification Systems: Specializes in portable stimulus and functional verification for SoC designs. Comparable as a venture-backed EDA company focused on solving verification complexity at scale—adjacent to but not directly overlapping with Aniah's transistor-level ERC niche.
- Tortuga Logic: Pre-silicon security and functional verification startup for semiconductor designs, with overlapping expertise in formal verification of complex ICs. Comparable as a venture-backed EDA startup focused on advanced verification challenges, though with a stronger security-orientation than Aniah.
- Blue Pearl Software: EDA company providing RTL design analysis, clock-domain crossing verification, and CDC analysis. Comparable as a smaller EDA vendor solving specific verification gaps for chip designers—adjacent category to Aniah's electrical verification focus.
Market position
Strengths5 records
Weaknesses5 records
Competitive moat6 records
Key risks7 records
Key highlights7 records
Customer concentration
Aniah social profiles
Digital presenceAniah compliance and trust
Trust signalCompliance2 records
Aniah financial estimates
Financial estimateRevenue estimate
Valuation estimate
Aniah leadership team
Management profileNumber of profiles
Profiles7 records
Aniah funding detail
Funding detailFunding overview
Funding rounds1 record
Investors4 records
Funding detail is available on the Subscription and Enterprise plan.Contact sales →
Aniah M&A and investment
M&A and investmentM&A
Investments
M&A and investment is available on the Subscription and Enterprise plan.Contact sales →
Frequently asked questions about Aniah
What does Aniah do?
Aniah develops and sells OneCheck, an electrical rule checking (ERC) software that performs exhaustive, vectorless, static transistor-level verification on full ICs (up to one billion transistors). The product detects electrical design errors such as conditional high-impedance, reliability/overstress, missing isolation, leakage, and level shifter issues with 100-1000x fewer false errors than traditional Spice and static ERC tools, and is sold to semiconductor IDMs and fabless design houses via a consultative B2B enterprise model.
Is Aniah a public or private company?
Aniah is a private company. It is classified as venture growth investor backed and is currently operating.
When was Aniah founded?
Aniah was founded in 2019. It employs 11 to 50 people.
Where is Aniah based?
Aniah is headquartered in Grenoble, France, in the Europe region.
How does Aniah make money?
One revenue line is on record: software License / Subscription (inferred).
Who are Aniah's main competitors?
Broad incumbents on record are Siemens EDA (formerly Mentor Graphics), Cadence Design Systems, Synopsys and Zuken. Real Intent is listed as a direct peer. Emerging players are Concept Engineering, Agnisys, Breker Verification Systems, Tortuga Logic and Blue Pearl Software.
Does Aniah have an API?
No public API is recorded for Aniah.