清华大学计算机系教授

1962年毕业于清华大学自动控制系，毕业后在清华大学任教至今，其中1985年至1986年作为访问学者在加拿大多伦多大学进修。研究方向为数字系统设计自动化，包括模拟、逻辑综合、高层次综合、形式验证、软硬件协同设计、系统芯片设计工具研究等。出版著作有《数字系统计算机辅助设计》、《数字系统设计自动化》。译著有《VHDL简明教程》、《用VHDL设计电子线路》、《数字逻辑与VHDL设计》等。