Abstract
We show how standard results from category theory can be used to derive useful theorems about a hardware description language. The theorems correspond to behaviour preserving circuit transformations. We also show how a categorical viewpoint can help in the design of a formally based hardware description language. All necessary category theory is introduced.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
R.J.M. Hughes, Projections for Polymorphic Strictness Analysis, Proc. Int. Conf. on Category Theory in Computer Science, Manchester, Springer-Verlag, 1989.
G. Jones, Fast Fourier transform by program transformation of the discrete Fourier transform, (submitted for publication).
G. Jones & M. Sheeran, Timeless Truths about Sequential Circuits, Chapter 14 in S.K. Tewksbury et al (eds.) Concurrent Computations: Algorithms, Architecture and Technology, Plenum Press, 1988.
C.E. Leiserson & J.B. Saxe, Retiming Synchronous Circuitry, Tech. Report 13, Digital Systems Research Center, Palo Alto, California 94301, 1986.
M. Sheeran, Retiming and Slowdown in Ruby, in G. Milne (ed.) The Fusion of Hardware Design and Verification, North-Holland, 1988.
M. Sheeran, Describing Hardware Algorithms in Ruby, to appear in Proc. IFIP WG10.1 Int. Workshop on Concepts and Characteristics of Declarative Systems, North-Holland, 1989.
P.L. Wadler, Theorems for Free!, to appear in Proc. Int. Conf. on Functional Programming Languages and Computer Architecture, London, Springer-Verlag, 1989.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1990 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Sheeran, M. (1990). Categories for the working hardware designer. In: Leeser, M., Brown, G. (eds) Hardware Specification, Verification and Synthesis: Mathematical Aspects. Lecture Notes in Computer Science, vol 408. Springer, New York, NY. https://doi.org/10.1007/0-387-97226-9_38
Download citation
DOI: https://doi.org/10.1007/0-387-97226-9_38
Published:
Publisher Name: Springer, New York, NY
Print ISBN: 978-0-387-97226-8
Online ISBN: 978-0-387-34801-8
eBook Packages: Springer Book Archive