1. 引言
这里给出了许多的定义。
电路是一个可以处理离散变量的网络，包含，
- 一个或多个离散值输入端口
- 一个或多个离散值输出端口
- 描述输入和输出关系的功能规范（function specification）
- 描述当输入改变时输出响应延迟的时序规范(timing specification)
电路的内部是结点（node）和元件（element）。元件本身又是一个完整的电路。结点 (node) 是一段导线, 它通过电压传递离散值变量。结点可分为输入结点、输出结点或内部结点。
数字电路分为组合电路和时序电路。时序电路需要考虑输入输出的延迟最大值和最小值。