服務項目
Formal VIP Generation
FormalOS 是建立在 Cadence Jasper、Synopsys VC Formal、Siemens Questa Formal 等原廠形式驗證工具之上的協調平台，自動化涵蓋驗證計畫轉屬性產生、覆蓋率缺口回饋與簽核狀態即時彙整，依 Plan → Prep → Execute → Sign-off 四階段方法論交付。
前往官網
EDA 解決方案
LUBIS EDA
由形式驗證專家提供的 Formal 簽核服務
LUBIS EDA 是一家形式驗證專家服務公司，而非單純的工具供應商，宣稱已完成超過 325 個形式驗證專案、找出逾 900 個錯誤。差異化在於可預測的里程碑交付模式、分層專業團隊，以及由多年服務經驗累積而成的自有協調平台 FormalOS，團隊可協助建立 Formal VIP，並針對處理器、記憶體子系統與各類匯流排協定完成形式化簽核。
前往官網
產品與功能
LUBIS EDA 產品線
涵蓋範圍
處理器
RISCV-CV32E40P、RISCV-IBEX、影像處理器、SHA / AES / ECC 等加密模組。
涵蓋範圍
記憶體
Cache、DMA、AI Tensor 運算單元、VR 位址映射。
涵蓋範圍
協定
AHB、FPI、SONET/SDH、AXI4、AXI3。
涵蓋範圍
其他
協定橋接器、仲裁器（Arbiter）、資料結構。
想深入了解 LUBIS EDA？
我們可以安排原廠技術簡報、評估授權（evaluation）與導入規劃，協助您的團隊快速上線。