闫建红 王德源 黄志球 祝义 吕以全 李民 胡渭清 张广泉 朱光升 周航 梁晓波 孙海燕 韦绍波 李鸿恩

触发器 特征参数 UMl 统一建模语言 卡诺图 对象约束语言 数字电路 多态性 静态图 控制线路 EPROM 输出脉冲序列 转换点 测试用例 逻辑函数 系统结构 循环周期 真值表 比例乘法器 异步计数器 时序逻辑电路 级联 状态方程 机票预定系统 编程指令 约束项