Using fixed-point semantics to prove retiming lemmas (Q685101): Difference between revisions
From MaRDI portal
Set profile property. |
Created claim: Wikidata QID (P12): Q124815458, #quickstatements; #temporary_batch_1714653913616 |
||
Property / Wikidata QID | |||
Property / Wikidata QID: Q124815458 / rank | |||
Normal rank |
Latest revision as of 14:49, 2 May 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Using fixed-point semantics to prove retiming lemmas |
scientific article |
Statements
Using fixed-point semantics to prove retiming lemmas (English)
0 references
30 September 1993
0 references
systematic arrays
0 references
retiming
0 references
fixed-point semantics
0 references
pipelining
0 references