时序和电路设计的状态机模型
摘要：基于有输出的普通状态机，本文介绍了一种指定数字电路的详细时序、逻辑操作和复合电路设计的技术。该方法通过对门、锁存器和其他简单电路的规范化以及从门构建的SR锁存器开始，然后逐步构建更复杂的设备来进行说明。文中详细介绍了电路时序和瞬态。该方法基于“经典”自动机和字符串上的递归函数。虽然没有使用正式方法、扩展状态机或过程代数，但提到了Krohn-Rhodes定理和其他基于群/幺半群的代数技术的潜在应用。
作者：Victor Yodaiken
论文ID：1003.0522
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2010-03-03