Abstract
The purpose of this paper is fourfold: first, to describe some observations about how array-based designs can be optimised by transposition — a method of rearranging components and their interconnections; second, to provide concise parametric representations of such designs; third, to present simple equations that correspond to correctness-preserving transformations of these parametric representations; and finally, to suggest quantitative measures of design trade-offs involved in this kind of transformation.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
G. Jones and M. Sheeran, Timeless truths about sequential circuits., in S. K. Tewks-bury, B. W. Dickinson and S. C. Schwartz (eds.), Concurrent computations: algorithms, architectures and technology., pp. 245–259, Plenum Press, 1988.
G. Jones and M. Sheeran, Circuit design in Ruby., in J. Staunstrup (ed.), Formal methods for VLSI design., North-Holland, 1990.
W. Luk, Specifying and developing regular heterogeneous designs., in L. Claesen (ed.), Formal VLSI specification and synthesis., pp. 391–409, North-Holland, 1990.
W. Luk and G. Jones, The derivation of regular synchronous circuits., in K. Bromley, S. Y. Kung and E. Swartzlander (eds.), Proceedings of International Conference on systolic arrays., pp. 305–314, IEEE Computer Society Press, 1988.
J. Moreno and T. Lang, On Partitioning the Faddeev algorithm., in K. Bromley, S. Y. Kung and E. Swartzlander (eds.), Proceedings of International Conference on systolic arrays., pp. 125–134, IEEE Computer Society Press, 1988.
L. Rossen, HOL formalisation of Ruby., Technical Report ID-TR 1989–61, Department of Computer Science, Technical University of Denmark, 1989.
S. Singh, An application of non-standard interpretation: testability., in L. Claesen (ed.), Formal VLSI correctness verification., pp. 235–244, North-Holland, 1990.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1991 Springer-Verlag London
About this paper
Cite this paper
Luk, W. (1991). Optimising designs by transposition. In: Jones, G., Sheeran, M. (eds) Designing Correct Circuits. Workshops in Computing. Springer, London. https://doi.org/10.1007/978-1-4471-3544-9_18
Download citation
DOI: https://doi.org/10.1007/978-1-4471-3544-9_18
Publisher Name: Springer, London
Print ISBN: 978-3-540-19659-4
Online ISBN: 978-1-4471-3544-9
eBook Packages: Springer Book Archive