西混杂计算与集成电路设计分析重点实验室简介
一、实验室名称
广西混杂 与集成电路设计分析重点实验室(广西民族大学)
二、实验室认定情况（实验室简史，约200字, 附实验室 性图片1张）
“广西混杂计算与集成电路设计分析重点实验室”的前身是“科学与工程 实验室”(自治区重点实验室培育基地，2007)、“科学与工程 实验室”（中央与地方共建高 色优势学科实验室，2008），于2010年12月通过科技厅组织的专家组评定，成为自治区重点实验室。目前实验室主任为广西民族大学吴尽昭教授，学术委员会主任为天津大学电子信息学院院长马建国教授（长江学者特聘教授、国家“杰青”获得者、新加坡南洋理工大学教授）。
三、目标定位（200-300字）
通过有特色的混杂 与IC（集成电路）设计分析技术的交叉融合创新，发展自主的IC芯片验证与评估技术，为IC设计企业提供高端技术服务，为我国IC产业提供人才储备，成为国内一流的集理论、软件开发和应用研究于一体的研发中心，满足IC产业发展与国家信息安全需要，参与国际IC设计产业界的合作与竞争。
四、研究方向及研究内容
针对大规模集成电路自动设计领域一系列重大科学理论和关键技术问题，实验室从应用基础、高新技术和工程应用三个层面上展开创新性研究，力争在（1）“混杂系统基础理论与方法”、（2）“符号与数值混杂计算”、（3）“集成电路设 验证与评估技术”三个主要方向的前沿基础理论、方法与技术研究上有所突破，产生高水平、在国际上具有较大影响的研究和应用成果，为国家和广西地区的电子信息产业尤其是集成电路及EDA产业的快速发展提供先进的技术支撑。
如图1所示，“混杂系统基础理论与方法”是整个研究体系的基础和核心；“符号与数值混杂计算”是混杂系统基础理论与方法研究的有力支撑，单纯的形式化符号技术不能满足工程上的实用化的要求，而符号和数值混杂计算方法能够有效地克服这一问题；“集成电路设 验证与评估技术”是混杂系统基础理论与方法的具体实践应用，反过来又促进混杂系统理论方法的创新发展。
五、主要研究成果
(一) 性研究成果（ 实验室最高研究水平或具有特色的研究成果，如高水平论文、专利等，可附加图片）
①IC验证与评估分析方面，在嵌入式系统模拟测试、集成电路验证与评价等高可信系统领域形成了自己的研究特色和优势，取得了一系列国际先进、国内领先的研究成果。获得了国内外同行的高度评价；②符号与数值计算方面，“代数神经网络与泛函网络理论及其学习算法研究”获2010年广西区自然科学奖三等奖。③微分与（半） 方程求解方面，“海洋波传播的解析模拟和交互边界元模拟”研究成果水平达到国际领先，获2010年广西自然科学奖二等奖。
(二) 获奖成果（省级二等奖以上、国家科技奖等，或行业重要奖项，可附加图片）
序号
获奖成果名称
奖励类别
奖励等级
成果完成人
授奖年度
1
民族地区院校现代教育技术应用的理论与实践
国家教育部
二等奖
+斌(2)
2005
2
拓宽基础、强化实践，程序设计语言类课程教学的探索与实践
全国 机教育优秀论文
二等奖
吴尽昭(3)
2009
3
海洋波传播的 模拟和交互边界元模拟
广西自然科学奖
二等奖
刘焕文(1)
2010
(三) 成果转化（取得显著社会经济效益的已转化科研成果，可附加图片）
1.具有自主知识产权的集成电路验证与评价工具平台“巨微”系统，其创新性和技术完备性在同行专家评审中获得了一致认可和高度评价。
“巨微”系统提供比仿真快得多的验证方式，并且验证是完全的。能够验证较大范围内的各种电路，包括复杂的数字逻辑、数据通道、存储器以及用户全定制逻辑等。该系统属国内首创，在成都国家IC产业化基地服务平台上运行，具有与国际水平竞争的能力。

下一页