Accession Number:

ADA231642

Title:

Formal Semantic Definition of ELLA Timing

Descriptive Note:

Memorandum rept.

Corporate Author:

ROYAL SIGNALS AND RADAR ESTABLISHMENT MALVERN (UNITED KINGDOM)

Report Date:

1990-11-01

Pagination or Media Count:

24.0

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.

Subject Categories:

  • Electrical and Electronic Equipment
  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE