沈绪榜 郑兆青 饶全林 方昊 江立强 张燕军 程旭 陈朝阳 李蜀霞 刘振 牛英山 何春 刘辉华 王逵

时钟预算 时序 时钟偏移 信号完整性 SoC 时序分析 同步设计 时钟偏差规划 静态时序分析 层次化 形式验证 逻辑综合