清华设计自动化为祖国EDA事业发展而努力！

• 姓名：边计年
• 职称：教授
• 电话：62773440
• 邮箱：bianjn@tsinghua.edu.cn

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

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

数字系统设计自动化 (课号40240412, 本科);

数字系统自动设计 (课号70240173, 研究生).

我多年来从事计算机科学方向不同课程的教学。目前，我所讲授的课程有本科三年级“数字系统设计自动化”，以及研究生一年级“数字系统自动设计”。这些课程主要面向计算机系的学生，也对全校学生开放。

在逾四十年的教学生涯中，我始终注重解决的问题包括为学生提供最新的技术和知识，引导他们改进已有算法，并培养他们的创新能力。

我们早在1987年开始为本科课程编写教材《数字系统计算机辅助设计》，经多次修改和完善，更新技术并提高质量，目前使用的教材是《数字系统设计自动化》第2版。此外，我还引导学生查阅最近顶级刊物和会议的论文，使其掌握查找和阅读文献的能力。

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

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

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

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

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

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

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

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

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

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

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

全国计算机辅助设计与图形学学术会议: 大会主席 (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.