在数字电路中，一个电路可以看成一个黑盒，黑盒内部是能处理离散变量的网络，这个黑盒一般具有一个或者多个离散变量输入端，一个或者多个离散变量输出端，并且这个黑盒还定义了描述输入输出关系的功能规范，还有描述当输入改变时输出响应延迟的时序规范