姓名:边计年

职称:教授

电话:62773440

邮箱:bianjn@tsinghua.edu.cn

主页:http://tiger.cs.tsinghua.edu.cn/tdetail.jsp?id=5

教育背景

大学毕业 (自动控制), 清华大学, 中国, 1970.

学术兼职

中国计算机学会: 计算机辅助设计与图形学专业委员会副主任 (2001-);

《计算机辅助设计与图形学学报》: 副主编 (2004-);

IEEE FPT 2010: 大会主席 (2010);

全国计算机辅助设计与图形学学术会议: 大会主席 (2010).

研究领域

系统级、RTL级与逻辑级的数字系统设计自动化

研究概况

我的研究领域包含所有逻辑级、寄存器传输级与系统级的综合与验证方法。

在二十世纪八十年代,我的研究组主要进行技术研究和CAD工具的开发。我们开发了一个逻辑级和开关级混合的模拟器,这是国家重点攻关项目VLSI CAD系统 PANDA的一部分,已被工业界所使用。该项目荣获国家科技进步一等奖。

在九十年代,我们的研究焦点是将逻辑综合与布图相结合,以改善集成电路芯片性能。我们提出了布局后再综合的方法,利用替换线技术(与香港中文大学吴友亮教授合作开发)改善电路结构,以减少关键路径上的连线线长和延迟时间。

2000年以来,我的研究组主要从事RTL级和系统级的综合与验证技术的研究。我们建立了一个SOC综合平台,包括软硬件划分、体系结构综合、接口综合、行为综合与物理布图相结合几个部分。在RTL级验证中,我们提出并实现新的混合SAT求解器EHSAT,该求解器的思想发表在2007年的EDA领域顶级学术会议DAC上。

目前,我研究的重点是由SystemC与TLM事务级模型一起描述的电路验证。我们使用混合SAT、SMT求解器来解决自动生成基于约束的随机输入激励向量的问题。

研究课题

国家自然科学基金课题: 多目标自适应粒度的系统划分与接口综合算法研究 (2002-2005);

国家自然科学基金课题: 基于下一代验证引擎的事务级形式验证方法的研究 (2008-2011);

973二级课题: 高效率的处理芯片设计、验证与测试 (2005-2010).

奖励与荣誉

国家新闻出版署“全国优秀科技图书奖”暨“科技进步奖(优秀著作)”一等奖——《超大规模集成电路计算机辅助设计技术》 (1999);

国家新闻出版署“第4届国家图书奖”提名奖——《超大规模集成电路计算机辅助设计技术》 (1999);

北京市高等教育教学成果二等奖 (2001).

学术成果

[1] Yanni Zhao, Jinian Bian, Shujun Deng, Zhiqiu Kong, Kang Zhao. Constrained Stimulus Generation with Self-adjusting Using Tabu Search with Memory. IEICE Transactions on Fundamentals of Electronics Communications and Computer Sciences. Vol.E92-A, No.12, 3086-3093. 2009.

[2] Junbo Yu, Qiang Zhou, Gang Qu and Jinian Bian, Peak Temperature Reduction by Physical Information Driven Behavioral Synthesis with Resource Usage Allocation, IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, E92-A, (No.12), 3151-3159, 2009.

[3] Kang Zhao, Jinian Bian, Sheqin Dong, Yang Song, Satoshi Goto, Pipeline-Based Partition Exploration for Heterogeneous Multiprocessor Synthesis. IEICE Transactions on Fundamentals of Electronics Communications and Computer Sciences, Vol.E92-A, No.9, 2283-2294, 2009

[4] Kang Zhao, Jinian Bian, Sheqin Dong, Yang Song, Satoshi Goto, “Exploring Partitions Based on Search Space Smoothing for Heterogeneous Multiprocessor System”. IEICE Transactions on Fundamentals of Electronics Communications and Computer Sciences, Val. E91-A, no. 9, 2456-2464, 2008.

[5] Tong, Kun, Bian, Jinian, Wang, Haili, “A cooperative universal data model platform for the data-centric electronic system-level design”, Advanced Engineering informatics, val. 22, no. 3, 296-306, 2008.

[6] Kang Zhao, Jinian Bian, Sheqin Dong, Yang Song, Satoshi Goto, “Fast Custom Instruction Identification Algorithm Based on Basic Convex Pattern Model for Supporting ASIP Automated Design”, IEICE Transactions on Fundamentals of Electronics Communications and Computer Sciences, val. E91-A, no.6, 1478-1483, 2008.

[7] Ming Zhu,Jinian Bian, Weimin Wu: “A novel collaborative scheme of simulation and model checking for system properties verification”, Computers in Industry, special issue: Collaborative Environments for Concurrent Engineering, Elesvier, val.57, no.8-9, 752-757, 2006

[8] Shujun Deng, Jinian Bian, Weimin Wu, Xiaoqing Yang, Yanni Zhao, “EHSAT: An RTL Satisfiability Solver Using an Extended DPLL Procedure”, Proc. 44th Design Automation Conference (DAC’07), San Diego, California, USA, 2007, 588-593

[9] Ou He, Sheqin Dong, Jinian Bian, Satoshi Goto, Chung-Kuan Cheng, “A Novel Fixed-outline Floorplanner with Zero Deadspace for Hierarchical Design”, Proc. The 2008 IEEE/ACM International Conference on Computer-Aided Design, (ICCAD’08), San Jose, CA, USA, 16 – 23, 2008.

[10] Shujun Deng, Zhiqiu Kong, Jinian Bian, Yanni Zhao, “Self-Adjusting Constrained Random Stimulus Generation Using Splitting Evenness Evaluation and XOR Constraints”, Prof. 14th Asia and South Pacific Design Automation Conference, (ASPDAC’09), Yokohama, Japan, 769 – 774, 2009.

[11] Junbo Yu, Qiang Zhou, Jinian Bian, “Peak Temperature Control in Thermal-aware Behavioral Synthesis through Allocating the Number of Resources”, proc. 14th Asia and South Pacific Design Automation Conference (ASPDAC’09), Yokohama, Japan, 85 – 90, 2009.

[12] Junbo Yu, Qiang Zhou, Gang Qu, and Jinian Bian, “Behavioral Level Dual-Vth Design for Reduced Leakage Power with Thermal Awareness”, Proc. The 10th Design, Automation and Test, (DATE’10), Dresden, Germany, 2010. 3. 8-12, pp 1261-1266, 2010

[13] 刘大为, 周强, 边计年. “考虑重叠度和线长的单元密度平滑方法”, 计算机辅助设计与图形学学报, 第22卷第4期, 676-681,688, 2010.

[14] 赵燕妮, 边计年, 邓澍军. “利用SMT约束分解方法求解RTL可满足性问题”, 计算机辅助设计与图形学学报, 第22卷第2期, 234-239, 2010.

[15] 于浚泊, 周强, 边计年. “考虑热效应的资源数量分配算法”, 计算机辅助设计与图形学学报, 第21卷第9期, 2009.

[16] 童琨, 边计年. “片上系统中事务级建模相关研究综述”, 计算机辅助设计与图形学学报, 第19卷第11期, 2007.

[17] 刘志鹏, 边计年, 周强. “高层次综合中面向功耗优化的方法与技术”, 计算机辅助设计与图形学学报, 第19卷第11期19(11), 2007.

[18] 赵康, 边计年, 董社勤. “基于集束式整数线性规划模型的专用指令集自动定制”, 计算机辅助设计与图形学学报, 第19卷第10期, 1229-1234, 2007.

[19] 刘志鹏, 边计年, 周强. “高层次综合中基于整数线性规划模型的多目标功耗优化算法”, 计算机辅助设计与图形学学报, 第19卷第8期, 966-972,2007.

[20] 邓澍军, 吴为民, 边计年. “RTL验证中的混合可满足性求解”, 计算机辅助设计与图形学学报, 第19卷第3期, 273-278,285, 2007.

[21] 边计年, 薛宏熙, 苏明, 吴为民. 数字系统设计自动化. 第2版. 清华大学出版社, 北京, 2005.

[22] 洪先龙, 刘伟平, 边计年. 超大规模集成电路计算机辅助设计技术, 国防工业出版社, 北京, 1998.