廣西混雜計算與積體電路設計分析重點實驗室

結合廣西地方社會經濟及科技發展需求，實驗室針對大規模積體電路自動設計領域一系列重大科學理論和關鍵技術問題，從套用基礎、高新技術和工程套用三個層面上展開創新性研究。 形成了自己的研究特色和優勢，取得了一系列國際先進、國內領先的研究成果。 目前，本實驗室人固定研究人員26人，其中（研究團隊已）擁有正高職稱10人，副高職稱9人，博士學位16人。

目前實驗室主任為廣西民族大學副校長吳盡昭教授，學術委員會主任為天津大學電子信息學院院長馬建國教授（長江學者特聘教授、國家“傑青”獲得者、新加坡南洋理工大學教授）。
結合廣西地方社會經濟及科技發展需求，實驗室針對大規模積體電路自動設計領域一系列重大科學理論和關鍵技術問題，從套用基礎、高新技術和工程套用三個層面上展開創新性研究。以混雜計算為工具，構建基於混雜系統模型的積體電路設計形式化表示理論，實現積體電路設計驗證和評估分析。在此基礎上，尋求高可計算性、統一性、協調性、協同性以及實用性等問題的突破，從而搭建起完整、高效實用的積體電路設計驗證與評估分析理論、方法和技術，為國家和廣西地區的電子信息產業尤其是積體電路產業的快速發展提供先進的技術支撐。
實驗室承擔了一批國家和自治區重大項目，取得了一批重要成果。近年來，獲得國家973項目子課題、國家863項目、國家自然科學基金項目等高級別項目10餘項、省部級項目20餘項以及一批企業橫向課題，總經費達400餘萬。共發表論文250餘篇，其中核心期刊140餘篇，三大索引收錄90餘篇，出版學術專著3部，申請專利2項，獲得軟體著作權6項。形成了自己的研究特色和優勢，取得了一系列國際先進、國內領先的研究成果。研發的具有自主智慧財產權的積體電路驗證與評價工具平台“巨微”系統，其創新性和技術完備性在同行專家評審中獲得了一致認可和高度評價。所取得的科研成果部分已轉化為產品。
目前，本實驗室人固定研究人員26人，其中（研究團隊已）擁有正高職稱10人，副高職稱9人，博士學位16人。擁有中科院“百人計畫”學者1人，獲國務院政府特殊津貼專家2人，廣西首批“八桂學者”1人，省級人才2人，電力部首批“跨世紀”學術帶頭人1人。實驗室主要學術帶頭人和學術骨幹均有在國際知名大學或研究機構長時間學習或工作的經歷，他們所帶來全新的科研方法和創新思維，極大提高了實驗室的研究水平和起點。實驗室基本形成一支職稱結構、學歷結構、年齡結構合理、精幹又朝氣蓬勃、科學嚴謹、勇於開拓創新的年輕型科研隊伍。實驗室正在培養博士研究生17名、碩士研究生56名。