Correctness properties for iterated hardware structures
Phillip J. Windley · NASA Technical Reports Server (NASA) · 1993
Iterated structures occur frequently in hardware. This paper describes properties required of mathematical relations that can be implemented iteratively and demonstrates the use of these properties on a generalized class of adders. This work provides a theoretical basis for the correct synthesis of iterated arithmetic structures.