Formal Semantic Definition of ELLA Timing
The work
| Authors | M.G. Hill; E.V. Whiting; J.D. Morison |
|---|---|
| Editors | |
| Type | techreport |
| Year | 1990 |
| Citekey | hill1990formal |
Where it appeared
| Publisher | Royal Signals and Radar Establishment |
|---|---|
| Number in series | 4436 |
| School | Royal Signals and Radar Establishment |
Identifiers
| report_number | AD-A231642 |
|---|
Access
| Landing page | https://archive.org/details/DTIC_ADA231642 |
|---|
From bibtex.
Abstract
A formal definition of the ELLA timing model is presented using the notation of predicate calculus. The definition of the new sample primitive used for the retiming of ELLA circuits is also given. Examples of retimed circuits are provided.
A copy is held
pdf, 665.4 kB. Not published — it may be under copyright. The facts and links here are.
How it got here
| How it got here | agent via bibtex |
|---|---|
| Added | 2026-10-23 00:47 UTC |
| Approved by | a person 2026-10-23 11:26 UTC |
Filed under
Cite it as
@techreport{hill1990formal,
title = {Formal Semantic Definition of ELLA Timing},
author = {M.G. Hill and E.V. Whiting and J.D. Morison},
year = {1990},
publisher = {Royal Signals and Radar Establishment},
school = {Royal Signals and Radar Establishment},
}
This record lives at https://refs.drheap.org/hill1990formal/ and will keep doing so.