YaRa Information, Inc.

研發替代役首頁

亞睿首頁

聯絡我們

亞睿資訊股份有限公司成立於 94 年 2 月，前身為美商 AVERY 台灣分公司已有九年歷史，並深植技術移轉與人才培育。主要營業項目為EDA軟體之開發與銷售。

企業的競爭力來自於優質的人力資源，本公司走在台灣 IC 設計的上游，從事矽智財的驗證工具(Verification IP)研發，銜接工研院系統晶片科技中心(Taiwan SOC)之 ESL工作小組，建立系統級晶片驗證之自有技術及規格。

亞睿資訊在功能驗證(Functional Verification)與測試模組自動化(Testbench Automation) 上的技術領先業界，未來更計畫提供更為先進之智慧型功能驗證功能，以更有效率的方式解決晶片設計者的模擬困境。
單位/公司研發能量說明:
開發整合傳統邏輯模擬 word-level 符號式模擬和正規技術：BDD和SAT的工具

開發部門	開發技術
驗證演算法與架構處	開發整合傳統邏輯模擬 word-level 符號式模擬和正規技術：BDD和SAT的工具(Insight2),計畫編號: 1Z960401
	利用可執行參考模組改善系統級晶片之驗證,計畫編號: 1Z940224
	分散式超大型積體電路模擬計算環境(SimCluster)
系統層級驗證 IP 處	第二代PCI-Express 系統驗證環境(PCI-Express Xactor)+檢核清單 +IOV
	第三代 SATA/ATA 系統驗證環境(SATA/ATA Xactor)+SAPIS interface