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

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jun 08, 2012
Accession Number
ADA563897

Entities

People

  • Guoqiang Wang
  • Kaushik Ravindran
  • Rhishikesh Limaye
  • Stavros Tripakis

Organizations

  • University of California, Berkeley

Tags

Communities of Interest

  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Abstracts
  • Automata
  • Composite Materials
  • Computations
  • Computer Science
  • Digital Signal Processing
  • Electrical Engineering
  • Embedded Systems
  • Engineering
  • Language
  • Machines
  • Military Research
  • Production
  • Semantics
  • Sequences
  • Signal Processing
  • Throughput

Fields of Study

  • Computer science
  • Engineering

Readers

  • Mathematical Modeling and Probability Theory.
  • Parallel and Distributed Computing.