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

Stavros Tripakis, Rhishikesh Limaye, Kaushik Ravindran, Guoqiang Wang, Hugo Andrade, Arkadeb Ghosal

Research output: Contribution to journalArticleScientificpeer-review

4 Citations (Scopus)
Original languageEnglish
Pages (from-to)23–43
Number of pages21
JournalJOURNAL OF SIGNAL PROCESSING SYSTEMS FOR SIGNAL IMAGE AND VIDEO TECHNOLOGY
Volume85
Issue number1
Early online date2015
DOIs
Publication statusPublished - 2016
MoE publication typeA1 Journal article-refereed

Keywords

  • Conformance
  • Dataflow
  • Finite state machines
  • Formal methods
  • Hardware design
  • Hardware synthesis
  • Verification

Cite this