袁媛 刘明业 郭长铭 刘昕宇 张德良 胡湘渝

有限状态机 CESE方法 马赫反射 算术操作符 状态分配 状态化简 VHDL语言 格式判别 触发器 时序逻辑综合 数据流综合 控制流综合 爆轰波 变量 VHDL描述 RTL综合 胞格结构 DDT过程 组合逻辑综合 锁存器

北京理工大学ASIC研究所 中国科学技术大学力学与机械工程系 中国科学院力学研究所高温气体动力学开放实...