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]

Authors

Stavros Tripakis

This author has not been identified. It may be one of the following persons: Look up 'Stavros Tripakis' in Google

Rhishikesh Limaye

This author has not been identified. Look up 'Rhishikesh Limaye' in Google

Kaushik Ravindran

This author has not been identified. Look up 'Kaushik Ravindran' in Google

Guoqiang Wang

This author has not been identified. Look up 'Guoqiang Wang' in Google

Hugo A. Andrade

This author has not been identified. Look up 'Hugo A. Andrade' in Google

Arkadeb Ghosal

This author has not been identified. Look up 'Arkadeb Ghosal' in Google