亞睿資訊股份有限公司成立於民國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 作法。

HELP Desk