Tokens vs. Signals: On Conformance between Formal Models of Dataflow and Hardware

Stavros Tripakis, Rhishikesh Limaye, Kaushik Ravindran, Guoqiang Wang, Hugo A. Andrade, Arkadeb Ghosal. Tokens vs. Signals: On Conformance between Formal Models of Dataflow and Hardware. VLSI Signal Processing, 85(1):23-43, 2016. [doi]

Abstract

Abstract is missing.