Formal Semantic Definition of ELLA Timing
ROYAL SIGNALS AND RADAR ESTABLISHMENT MALVERN (UNITED KINGDOM)
Pagination or Media Count:
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.
- Electrical and Electronic Equipment
- Computer Programming and Software