电脑体验，效果更佳

贝劲松图谱-计算机领域：

相关人员

洪先龙 边计年 薛宏熙 龙望宁 范轶平

研究领域

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

所属机构

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

标签云