自動測試向量產生技術近期發展與功能驗證應用 (2005.07.05)

隨著設計複雜度的日益增加，驗證所耗費的人力、物力的比重也日趨重要，而ATPG也因此在近年來有許多新的研究成果以及長足的進步。本文試著回顧近年來ATPG與SAT等技術的重大突破，並且討論其未來可能的方向。…

軟／硬體的正規（formal）驗證 (2003.03.05)

正規（formal）驗證（verification）技術，也就是用數學的符號，表達出系統設計的規格，從而減少工程師間錯誤溝通的可能性，進而提昇系統設計的品質，但國內工程界對這項新科技卻認知不深，採用的更少。本文將深入介紹此一驗證方法的歷史背景、最新技術、與未來發展走向。…

新惠普桌上型電腦代工夥伴7月宣布 (2002.06.26)

新惠普桌上型電腦代工版圖大致底定，預計9月對外宣布，大眾、鴻海、華碩、Samina/SCI四大廠可望為新惠普代工商用桌上型電腦，大眾、大同、三寶則負責消費性桌上型電腦機種。新惠普全年將釋出高達400萬至500萬台桌上型電腦訂單，大眾成唯一橫…