Formal Semantic Definition of ELLA Timing

Abstract

A formal definition of the ELLA timing model is presented using the notation of predicated calculus. The definition of the new sample primitive used for the retiming of ELLA circuits is also given. Examples of retimed circuits are provided.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Nov 01, 1990
Accession Number
ADA231642

Entities

People

  • E. V. Whiting
  • J. D. Morison
  • M. G. Hill

Organizations

  • Royal Signals and Radar Establishment

Tags

DTIC Thesaurus Topics

  • Ambiguity
  • Calculus
  • Classification
  • Foreign Languages
  • Intervals
  • Irrational Numbers
  • Language
  • Notation
  • Numbers
  • Rational Numbers
  • Real Numbers
  • Semantics
  • Sequences
  • Simulations
  • Simulators
  • Transport Ships

Readers

  • Aerodynamics.
  • Integrated Circuit Design and Technology.
  • Theoretical Analysis.