Electrical Engineering
      and Computer Sciences

Electrical Engineering and Computer Sciences

COLLEGE OF ENGINEERING

UC Berkeley

On Tokens and Signals: Bridging the Semantic Gap between Dataflow Models and Hardware Implementations

Stavros Tripakis, Rhishikesh Limaye, Kaushik Ravindran and Guoqiang Wang

EECS Department
University of California, Berkeley
Technical Report No. UCB/EECS-2012-164
June 8, 2012

http://www.eecs.berkeley.edu/Pubs/TechRpts/2012/EECS-2012-164.pdf

Dataflow models serve as useful abstractions of digital hardware in signal processing and other application domains. But when can one say that a certain dataflow model faithfully captures a given piece of hardware? The question is investigated in this paper. Finite state machines with synchronous semantics are used to model hardware. Asynchronous processes communicating via queues are employed for dataflow. A conformance relation between these two heterogeneous models of computation is developed that preserves performance properties such as worst-case throughput and latency.


BibTeX citation:

@techreport{Tripakis:EECS-2012-164,
    Author = {Tripakis, Stavros and Limaye, Rhishikesh and Ravindran, Kaushik and Wang, Guoqiang},
    Title = {On Tokens and Signals: Bridging the Semantic Gap between Dataflow Models and Hardware Implementations},
    Institution = {EECS Department, University of California, Berkeley},
    Year = {2012},
    Month = {Jun},
    URL = {http://www.eecs.berkeley.edu/Pubs/TechRpts/2012/EECS-2012-164.html},
    Number = {UCB/EECS-2012-164},
    Abstract = {Dataflow models serve as useful abstractions of digital hardware in signal processing and other application domains. But when can one say that a certain dataflow model faithfully captures a given piece of hardware? The question is investigated in this paper. Finite state machines with synchronous semantics are used to model hardware. Asynchronous processes communicating via queues are employed for dataflow. A conformance relation between these two heterogeneous models of computation is developed that preserves performance properties such as worst-case throughput and latency.}
}

EndNote citation:

%0 Report
%A Tripakis, Stavros
%A Limaye, Rhishikesh
%A Ravindran, Kaushik
%A Wang, Guoqiang
%T On Tokens and Signals: Bridging the Semantic Gap between Dataflow Models and Hardware Implementations
%I EECS Department, University of California, Berkeley
%D 2012
%8 June 8
%@ UCB/EECS-2012-164
%U http://www.eecs.berkeley.edu/Pubs/TechRpts/2012/EECS-2012-164.html
%F Tripakis:EECS-2012-164