面向顺序电路的函数类型表达式：指代形式的概念

本文引入了指代形式作为一种新的功能方法来分析顺序电路。将顺序电路建模为因果流函数，其输出仅取决于过去和当前输入。指代形式基于函数类型表达式定义，代表电路如何指代过去输入。本研究的关键贡献在于识别了多个时钟域电路中的一种普遍属性。该理论框架有望增强对顺序电路的理解和分析。