Functional Type Expressions of Sequential Circuits with the Notion of Referring Forms

Shunji Nishimura

This paper introduces the notion of referring forms as a new metric for analyzing sequential circuits from a functional perspective. Sequential circuits are modeled as causal strea…