江明德 边计年 张鸣龙 常青 贝劲松 范轶平 薛宏熙 周长江 叶以正 黄祖兰 洪先龙

电子设计自动化 有限状态机 时序冗余故障 D触发器 谓词演算 组合冗余故障 VHDL 电路综合 状态转移矩阵 直接实现 矩阵分析 驱动方程 时序重构 触发器 形式验证 JK触发器 电路优化 FSM 模型判别器 逻辑设计方法 特征方程 重定时 时序逻辑电路