Correctness preserving transformations on the Hough algorithm
- 2 January 2003
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
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.> Author(s) Samsom, J.G. IMEC, Leuven, Belgium Claesen, L.J.M. ; De Man, H.J.Keywords
This publication has 4 references indexed in Scilit:
- Synthesis of ASIC regular arrays for real-time image processing systemsJournal of Signal Processing Systems, 1991
- Deriving ASIC architectures for the Hough transformParallel Computing, 1990
- Architecture-driven synthesis techniques for VLSI implementation of DSP algorithmsProceedings of the IEEE, 1990
- HOL: A Proof Generating System for Higher-Order LogicPublished by Springer Nature ,1988