Tokens vs. Signals: On Conformance between Formal Models of Dataflow and Hardware
| Title | Tokens vs. Signals: On Conformance between Formal Models of Dataflow and Hardware |
| Publication Type | Journal Article |
| Year of Publication | 2016 |
| Authors | Stavros Tripakis, Rhishikesh Limaye, Kaushik Ravindran, Guoqiang Wang, Hugo A. Andrade, Arkadeb Ghosal |
| Journal | Signal Processing Systems |
| Volume | 85 |
| Pagination | 23–43 |
| Keywords | 1329759 |
| URL | https://doi.org/10.1007/s11265-015-0971-y |
| DOI | 10.1007/s11265-015-0971-y |
| Citation Key | DBLP:journals/vlsisp/TripakisLRWAG16 |