最新消息: |
||
Avery Design Systems Announce "Start your HBM/2.5D Design Today" Seminar |
亞睿資訊股份有限公司成立於民國94年2月16日,為一電子設計自動化(Electronic Design Automation, EDA)供應商,主要營業項目為EDA軟體之開發與銷售,黃齊萊博士 為業界知名之邏輯模擬與合成(Logic Simulation and Synthesis)專家, 公司即在其所號召下所成立。 亞睿資訊在功能驗證(Functional Verification)與測試模組自動化(Testbench Automation) 上的技術領先業界, 來更計畫提供更為先進 之智慧型功能驗證功能, 以更有效率的方式 解決晶片設計者的模擬困境。本公司前身為Avery Design(美)之台灣分公司,設立於民國87年,本經營團隊多於Avery Design服務多年, 在黃齊萊博士 之有意栽培下,Avery Design循序漸進地將國外最先進 研發技術交由台灣分公司主導, 本次為更進一步讓EDA智慧財產權 於台灣生根,Avery Design決定將其PCI Express之驗證技術轉移至亞睿資訊,台灣分公司得以獨立經營,深化 技術移轉,成為現今之亞睿資訊股份有限公司。 亞睿資訊 的 Formal analysis 工具 - Insight,是為工業界第一個行為層級混合邏輯 與符號 模擬引擎的解決方案,使用 word-level 作法之引擎,後端引擎以數個 SAT solver 結合 BDD algorithm 作法。
| |