OneCheck
OneCheck is Aniah's electrical rule checking tool for integrated circuits. It runs vectorless, transistor-level static analysis across a full chip, covering every power mode in a single pass and cutting false errors by a claimed 100 to 1000 times.
What is OneCheck?
OneCheck is the electrical rule checking (ERC) solution published by ANIAH, a French semiconductor EDA company based in Grenoble. It addresses a well-documented blind spot in chip design: electrical errors that survive every earlier verification step and only surface at the silicon validation stage, where correction is slow, costly and damaging to a project's time-to-market. Aniah states that the financial impact of such errors can reach hundreds of millions of dollars if a product recall follows, on top of the reputational damage. Existing EDA answers, the company argues, are either accurate but capacity-limited or broad but too simplified to catch everything.
The approach is vectorless static analysis, electrically accurate, performed at transistor level on the complete chip. Two pieces carry the claim. Smart Network Analysis is credited with reducing the number of false errors by a factor of 100 to 1000, the figure the company repeats most often. A Pseudo-Spice Engine models voltages in complex circuitry and detects errors that appear only under specific conditions, with support for all circuit topologies. Detection capacity is presented as independent of circuit scale, up to one billion transistors, and the published performance point is one second for a mixed-signal, multi-power-scenario analysis on a 20-million-transistor IC, with an overall claim of being 100 times faster. Twelve error rule types are supported out of the box and fourteen tape-outs are cited as proven on silicon.
The product line has moved quickly. Version 3.0 introduced SmartClustering by root cause with natural-language error descriptions; 3.1.0 added integrity checking and blackbox and greybox support; 3.2.0 brought matrix-based power scenarios, customisable checks and extended input formats including HSPICE. A later release completed integration with the Cadence Virtuoso Schematic Editor, allowing the analysis to be launched from a schematic and its results back-annotated there. On the adoption side, automotive semiconductor company Elmos deployed OneCheck across its design teams, and a STMicroelectronics manager is quoted on the site about the tool's promise. Aniah describes the platform as AI-driven and formal-based.
What it does
- Detect targeted electrical errors at transistor level across an entire integrated circuit, up to a billion transistors
- Cover every power mode and every signal state of the circuit in a single run, without test vectors
- Cut false errors by a claimed factor of 100 to 1000 through Aniah's Smart Network Analysis
- Cluster reported errors by root cause and describe each one in natural language
- Push results back into the Cadence Virtuoso schematic and follow signal propagation there
- Flag conditional high impedance, electrical overstress, missing isolation, floating terminals and n-well to p-substrate leakage
- Let CAD teams author or tune their own checks, from the graphical interface or the command line
When to use OneCheck / When not to
A quick filter to help you decide if OneCheck is the right fit.
When to use OneCheck
- Analog, digital and mixed-signal IC design engineers who need transistor-level electrical verification at full-chip scale
- Verification and CAD teams working inside Cadence Virtuoso, where OneCheck plugs into the schematic editor for cross-probing and back-annotation
- Automotive semiconductor teams chasing functional safety and long-lifecycle reliability, as illustrated by the Elmos deployment
- Design groups handling circuits that mix high and low voltage domains, where electrical overstress and missing isolation are hard to catch
- Methodology and CAD engineers who want to author or tune their own checks, from the command line or the graphical interface
When not to use OneCheck
- Individuals and small businesses outside the semiconductor industry: this is contract-licensed B2B software with no self-service entry point
- Teams looking for a Spice simulator replacement, since Aniah positions OneCheck as catching what Spice cannot rather than as a substitute for simulation
- PCB and board-level designers, as the scope of the tool is the integrated circuit itself
- Anyone who needs to evaluate a tool from public documentation alone, since neither pricing, technical requirements nor an API reference are published
- Buyers hoping for a free plan or a self-serve trial: the only no-cost entry point is a demonstration arranged with the sales team
How to use OneCheck
A typical end-to-end flow, from setup to results.
- Contact Aniah's sales team, at sales@aniah.fr or through the contact page, since there is no self-service sign-up
- Request the free demonstration the company offers, which is the normal way to evaluate the tool
- Agree the commercial terms and the user licence that govern use of the product
- Install and configure the tool with the help of Aniah's Support Application Engineers, as no public setup procedure exists
- Load the design, using the supported input formats, HSPICE included
- Define the power scenarios, which since version 3.2 can be expressed through a matrix-based representation
- Connect the OneCheck analysis window to Cadence Virtuoso in a single click, or start OneCheck directly from Virtuoso
- Run the analysis from the graphical interface or the command line, whichever suits the flow
- Review the results grouped by root cause, follow fault propagation in the error browser and read the natural-language descriptions
- Back-annotate the findings into the familiar schematic, then use the knowledge base or the Atlassian support portal for anything unresolved
Pros & Cons
Pros
- A false-error reduction claimed at 100 to 1000 times, which is the central promise and addresses the main complaint against ERC tools
- Detection capacity presented as independent of circuit scale, up to one billion transistors
- Strong published performance point: one second for a multi-power-scenario mixed-signal analysis on a 20-million-transistor IC
- Native integration with Cadence Virtuoso, the reference schematic editor, including back-annotation and cross-probing
- Field evidence rather than promises alone: fourteen tape-outs proven on silicon, adoption by Elmos and a STMicroelectronics testimonial
- A sustained release cadence, with three feature versions and a completed Virtuoso integration in successive announcements
- A publisher certified to ISO 9001 and ISO 27001, with a 24/7 knowledge base and dedicated Support Application Engineers
Cons
- No public pricing at all: no pricing page, no price point, no billing unit, so no budget can be framed without contacting sales
- No public technical documentation: supported systems, hardware prerequisites and licensing model are unknown before a commercial conversation
- No named product page on the site; the name OneCheck appears only in press announcements, while the product page describes the tool without naming it
- Performance and false-error figures are the vendor's own, with no independent benchmark published
- The site calls the platform AI-driven but says nothing about how customer netlists are handled by those components
- No free plan and no free trial, the only no-cost entry point being a sales-led demonstration
- Deep integration is documented for Cadence Virtuoso only; no other EDA platform is named
Pricing & Plans
No price is published. OneCheck is sold through Aniah's sales team under a contractual user licence, and the site carries no pricing page, no price point and no billing unit. There is no permanent free plan and no free trial. The only no-cost entry point is a demonstration arranged on request. A quotation must be obtained by contacting sales@aniah.fr or using the contact page.
Data, GDPR & hosting
A consolidated view of how OneCheck handles your data.
GDPR overview
GDPR implementation is explicit and concrete. The privacy policy, last updated on 22 April 2024, invokes the French Data Protection Act and European Regulation 2016/679 by name and lists rights of access, rectification, erasure, restriction, objection and portability. Consent can be withdrawn at any time in writing, by email to dpo@aniah.fr or by post to the registered office; the request must carry surname, first name, email, company where applicable and the right being exercised. A data protection officer is reachable at that address, and the right to complain to the supervisory authority is stated. Aniah reserves the right to refuse illegitimate or unlawful requests. No Article 27 representative is designated, which is expected of a company established in France. Aniah separately reports holding ISO 9001 and ISO 27001 certifications, which cover the publisher rather than the product.
Who owns the data?
Aniah's published legal pages cover the website only, not the design data processed by OneCheck. For the website, the company names itself as the sole recipient of the IP addresses and browsing data it collects, and states that the site is the exclusive property of ANIAH, with any partial or total reproduction or alteration prohibited. Ownership of customer netlists, analysis results and error reports is nowhere addressed publicly. The site says only that products sold by ANIAH are governed by contracts, in particular user licences, which are not published. Anyone evaluating OneCheck should therefore settle ownership of design data in the licence agreement itself rather than expect an answer online.
Reuse rights
The published terms are restrictive on reuse. The website is described as the exclusive property of ANIAH and any partial or total reproduction or alteration is prohibited, so a visitor cannot reuse its content without permission. Users must transmit only the data the service explicitly requests, must act lawfully, and must not attempt to divert the service from its intended purpose; hacking, unauthorised intrusion, modification attempts and denial-of-service attacks are expressly banned and presented as grounds for legal action. The data the site collects, namely IP address and browsing data such as timestamps, pages visited, requests sent and navigation parameters, is used for security-related traffic analysis and for non-individual usage statistics, with Google Analytics named as a processor. Any processing of data the user explicitly transmits is subject to a consent request. What a customer may do with the outputs of OneCheck itself falls under the user licence, which the site does not publish.
Data retention & training
Hosting summary
The published hosting information covers the website only, not the product. Aniah names WP Engine as the host of the site, acting as a subcontractor of Mexiiico, with WP Engine listed at Irongate House, 22-30 Duke's Place, London EC3A 7LP in the United Kingdom and the declared processing destination given as the United States. Mexiiico is named as a subcontractor located in France, handling website development, Google Analytics management and hosting. Google Analytics is listed separately as a subcontractor with a United States destination. The site dates this hosting information to 30 April 2024. Nothing is published about where design data processed by OneCheck resides, which is consistent with the product being licensed software deployed on the customer's own infrastructure rather than a hosted service. Teams with data residency constraints should treat this as a contractual question rather than assume the website's arrangements apply to the tool.
Things to keep in mind
Risks and trade-offs to weigh before adopting OneCheck.
- No published pricing means no budget can be estimated before entering a sales process, and no way to compare cost against alternatives
- No public technical documentation: supported operating systems, hardware prerequisites and the licensing model are all unknown before contact
- The platform is described as AI-driven, yet nothing explains how customer netlists and design data are processed by those components; this must be settled contractually
- The site contradicts itself on the company's address, the legal notice giving a registered office at 93 Cours Berriat while every page footer shows 28 rue Gustave Eiffel
- Performance and false-error reduction figures are vendor claims with no published independent benchmark, so they should be verified on your own designs during the evaluation
- Deep integration is documented for Cadence Virtuoso only, which creates a dependency for teams whose flow is built on another platform
- Aniah also markets a separate solution called Amigo.IA, so it is worth confirming which product a commercial proposal actually covers
Setup & Integrations
Technical difficulty
Aniah claims setup effort is minimised by its analysis algorithm and positions the tool for all design engineers rather than verification specialists alone, with a one-click connection to Cadence Virtuoso. In practice, difficulty is hard to judge from outside: the product is licensed software, installation and configuration are handled with Support Application Engineers, and no public procedure, prerequisite list or system requirement is available. Advanced customisation, such as authoring checks, tuning propagation rules or adapting power rail naming conventions, is aimed at CAD teams and assumes methodology expertise.
Deployment
Integrations
Behind OneCheck
Fundraising
Social
Resources
All the official URLs gathered for verification and reference.
Frequently asked questions
What is OneCheck?
What is its main benefit over other ERC tools?
How large a circuit can it handle?
Which design tools does it work with?
How much does it cost?
Is there a free trial or a free plan?
What kind of errors does it detect?
How is support provided?
Does OneCheck offer an API?
Who uses it, and who publishes it?
Should you pick OneCheck?
OneCheck is a narrow, high-stakes tool. It speaks to a small population of integrated circuit design engineers, but to those engineers it addresses one of the most expensive failure modes in the industry: an electrical error that escapes verification and is only found once silicon exists. Aniah's pitch is unusually specific for the category, resting on a claimed 100 to 1000 times reduction in false errors, detection capacity presented as independent of circuit scale, and a published performance point of one second on a 20-million-transistor design.
What makes the proposition credible is not the marketing but the surrounding evidence. Fourteen tape-outs are cited as proven on silicon, an automotive semiconductor manufacturer has deployed the tool across its design teams, a STMicroelectronics manager is quoted on the site, the Cadence Virtuoso integration is documented release by release, and the publisher holds ISO 9001 and ISO 27001 certifications alongside French France 2030 accreditation. That is a denser trail of third-party validation than most tools of this size can show.
The counterweight is commercial opacity, and it is total. There is no pricing page, no technical documentation, no API reference, no free trial and no named product page: the name OneCheck appears only in press announcements. Evaluating the tool therefore means booking a demonstration and negotiating, with no way to size the effort or the budget beforehand. One question deserves particular attention in that conversation: the platform is presented as AI-driven, yet nothing on the site explains how customer netlists and design data are handled by those components, and the published privacy policy covers the website alone. For a team whose designs are its most sensitive asset, that clarification belongs in the licence contract, not in a sales meeting.
- Choosing a selection results in a full page refresh.
- Opens in a new window.