韩志刚 刘彦松 吕宗伟 张镭 周海峰 白建军 王彬 周开伦

敏化 分段线性近似 子块分组 基于事务的形式验证 电子设计自动化 梳状滤波器 测试生成 建立时间约束

上海交通大学电子工程系 同济大学大规模集成电路研究所 上海交通大学大规模集成电路研究所 上海交通大学电子信息与电气工程学院