宋加涛 叶锡恩 张秀淼 吴训威 干雪 金榜 毛科益 赵峰 张爱华 卢仰坚 许亮 李智慧

验证 绑定 功耗优化技术 极性转换 Reed-Muller逻辑 同或门 三值序列 功耗估算 全加器 三值线性模和 扩散长度 信号概率 ASIC 进制转换 调度 LCD 多码状态 给定规则 智能水表 等价性检验 外延材料 BDD Reed-Muller逻辑电路 XOR门 跳变密度 SPV法 时序电路 高层次综合 传输晶体管 低功耗

宁波大学电路与系统研究所 宁波大学信息科学与工程学院 浙江宁波 浙江大学信息与电子工程学系 宁波大学物理系 杭州大学电子工程系