Correctness preserving transformations on the Hough algorithm

Author

Samsom, J.G. ; Claesen, L.J.M. ; De Man, H.J.

Author_Institution

IMEC, Leuven, Belgium

fYear

1992

fDate

4-8 May 1992

Firstpage

11

Lastpage

16

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;

fLanguage

English

Publisher

ieee

Conference_Titel

CompEuro '92 . 'Computer Systems and Software Engineering',Proceedings.

Conference_Location

The Hague, Netherlands

Print_ISBN

0-8186-2760-3

Type

conf

DOI

10.1109/CMPEUR.1992.218494

Filename

218494