大規模積體電路設計中的離散數學問題

《大規模積體電路設計中的離散數學問題》是依託福州大學，由范更華擔任項目負責人的數學天元基金項目。

基本介紹

• 中文名：大規模積體電路設計中的離散數學問題
• 依託單位：福州大學
• 項目類別：數學天元基金項目
• 項目負責人：范更華

項目摘要

物理設計是超大規模積體電路設計的關鍵步驟，涉及到大量的圖論和組合最佳化模型與算法，這些是積體電路設計自動化軟體的核心技術。目前我國系統地從事該領域研究的人員很少，且幾乎沒有數學專業研究人員，所用的設計軟體幾乎都是購自國外。因此，組織一批數學研究人員，爭取在該領域取得成果，對於國內數學界是一項極具現實意義和迫切的任務。本項目計畫加強與清華大學、復旦大學、北京華大九天軟體有限公司等高校和積體電路設計研發機構的交流與合作，通過舉辦國際、國內相關學術會議，以及超大規模積體電路中的數學問題前沿課題討論班，培養該領域的年輕數學人才，促進我國從事大規模積體電路設計研究的高水平數學研究隊伍的形成。

結題摘要

積體電路產業是我國高科技的重點發展方向之一,是一個發展變化快、學科交叉和算法密集的領域，存在著大量的圖論、組合最佳化等問題,受到學術界和工業界的高度關注。本項目的主要目的是通過舉辦積體電路晶片設計國際會議及搭建相應的交流平台，使國內的數學工作者了解國內外積體電路設計的發展現狀及研究方向，掌握最新的積體電路晶片設計動態和存在的具體數學問題，促進和推動數學工作者積極參與積體電路晶片設計過程中所遇到的實際數學問題，提升數學工作者面向積體電路產業從事套用數學研究的能力。 本項目的最主要工作是舉辦了International Workshop on Mathematical Methods for Chip Design Automation會議。本次會議的參會人員包括積體電路設計公司專業技術人員，國內外著名積體電路設計研究專家，國內外圖論、組合最最佳化、數學規劃等方面的研究人員。會議的主題主要包括：積體電路劃分問題，版圖規劃問題，布局問題、時鐘樹布線、斯坦納樹問題、最大流問題、多物最小費用問題、邊不交路問題、設施選址問題、矩形裝箱問題、旅行商問題、高性能非線性規划算法等。