Moore机相关论文
本文提出一种基于ISP逻辑器件使用逻辑图输入方式设计同步时序逻辑电路的标准形式。该形式电路结构是固定的，根据电路的逻辑功能在......
模型检验是系统级设计中验证可信计算系统安全性性质的有效方法。动态模型检验是模型随设计过程而变化的模型检验，动态模型检验过程......
本文从本质上归纳了二种时序机 Mealy机与 Moore机之间的转换效果 ,根据二者的输出序列相差一个时钟周期的特点提出了二种十分简单......
