方佳佶 朱正风 姚林声 连永君 张美玉 甘骏人 许越 何新平

特征矩阵 运算规则 自动生成技术 导函数 C语言实现 图形变换 有向图 导出规则 连接信息 处理系统 布局优化 图形描述 逻辑单元 易于理解 规则检查 图形设计语言 模拟算法 逻辑功能 系统语言 算法复杂性 电路逻辑 队列

中国科学院上海冶金研究所 北京集成电路设计中心 清华大学电子工程系 复旦大学电子工程系