电脑体验，效果更佳

范轶平图谱-机械领域：

相关人员

洪先龙 薛宏熙 贝劲松 边计年

研究领域

有限状态机 FSM 模型判别器 VHDL 同步时序电路 形式验证

所属机构

清华大学计算机科学与技术系

标签云