Programming Research Group Technical Report TR-13-90

Relations and refinement in circuit design

Geraint Jones and Mary Sheeran

1990, 20pp.

A language of relations and combining forms is presented in which to describe both the behaviour of circuits and the specifications which they must meet. We illustrate a design method that starts by selecting representations for the values on which a circuit operates, and derive the circuit from these representations by a process of refinement entirely within the language.

This paper was presented at 3rd BACS FACS workshop on refinement, Hursley, England, January 1990, and has also been published in 3rd Refinement Workshop, 1990, eds. Carroll Morgan and Jim Woodcock, Springer Workshops in Computing, 1991.

It is available as a 80,505 byte compressed PostScript file.