服務項目
Formal VIP Generation
依據設計需求建立客製化的 Formal VIP，並完成形式化簽核。
EDA 解決方案
LUBIS EDA
由形式驗證專家提供的 Formal 簽核服務
LUBIS EDA 提供的不是工具授權，而是以形式驗證專業為核心的簽核服務。團隊可協助建立 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）與導入規劃，協助您的團隊快速上線。