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. 

 

技術亮點

• 面臨的挑戰 (The Problem)：
  先進混合訊號晶片下線的瓶頸，往往不在於工具的執行時間 (runtime)，而是卡在專家的審查環節。海量的 ERC 警告、誤報 (false positives)、不完整的模擬結果，以及類比電路的邊角案例 (edge cases)，都讓簽核 (Sign-off) 過程變得緩慢且充滿風險。
• 解決方案 (The Solution)：
  單一平台 = OneCheck + Amigo AI。
  OneCheck 負責提供嚴謹的正規語意電路模型 (formal semantic circuit model)；而 Amigo AI 則將這些具備扎實基礎的上下文資訊，轉化為清晰的錯誤解釋、SPICE 證據、分析報告，以及可重複使用的審查記憶 (reusable review memory)
• 實際驗證與市場契機 (The Proof and Opportunity)：
  業界的實際驗證顯示，此平台能成功在先進製程的電路區塊中，準確抓出真實存在的設計缺陷 (true-positive findings)。目前該平台已獲得客戶正式採用，並有更廣泛的導入評估計畫正在進行中。我們看見的市場契機是：將原本高度仰賴專家經驗的 ERC 審查，徹底轉變為可重複執行 (repeatable) 且 具備高度擴充性 (scalable) 的驗證工作流程。