论文信息 - Correctness preserving transformations on the Hough algorithm

Correctness preserving transformations on the Hough algorithm

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.<<ETX>>

J.G. Samsom | L.J.M. Claesen | H.J. De Man

[1] Hugo De Man,et al. Deriving ASIC architectures for the Hough transform , 1990, Parallel Comput..

[2] M. Gordon. HOL: A Proof Generating System for Higher-Order Logic , 1988 .

[3] Jan M. Rabaey,et al. DSP specification using the Silage language , 1990 .

[4] MICHAEL VAN SWAAIJ,et al. Synthesis of ASIC regular arrays for real-time image processing systems , 1991, J. VLSI Signal Process..

[5] Hugo De Man,et al. Architecture-driven synthesis techniques for VLSI implementation of DSP algorithms , 1990, Proc. IEEE.