TO
1 - 25 of 1
| Creator | Title | Description | Subject | Date | ||
|---|---|---|---|---|---|---|
| 1 |
 | Panangaden, Prakash | Verification of systolic arrays: a stream functional approach | We illustrate that the verification of systolic architectures can be carried out using techniques developed in the context of verification of programs. This is achieved by a decomposition of the original problem into separately proving the correctness of the data representation and of the individual... | Verification; systolic arrays; stream function | 1985 |
1 - 25 of 1