Title :
Correctness preserving transformations on the Hough algorithm
Author :
Samsom, J.G. ; Claesen, L.J.M. ; De Man, H.J.
Author_Institution :
IMEC, Leuven, Belgium
Abstract :
A formal method for the optimization of a specification in a guaranteed correct way is presented. As an example, the transformation from a behavioral specification of the Hough transform in an image space, towards an optimized specification, is presented. The transformations are meant to be used in an interactive environment. The main result presented is that, by using a limited set of transformations, an optimized description in terms of a silicon compiler can be derived in a guaranteed correct way.<>
Keywords :
circuit layout CAD; formal specification; optimisation; specification languages; Hough transform; behavioral specification; correctness preserving transformation; formal method; guaranteed correct way; image space; interactive environment; optimized description; optimized specification; silicon compiler; Algorithm design and analysis; Argon; Circuits; Digital signal processing; Equations; Formal verification; Optimization methods; Partitioning algorithms; Silicon compiler; Very large scale integration;
Conference_Titel :
CompEuro '92 . 'Computer Systems and Software Engineering',Proceedings.
Conference_Location :
The Hague, Netherlands
Print_ISBN :
0-8186-2760-3
DOI :
10.1109/CMPEUR.1992.218494
