Technical Report CS0762

TR#:CS0762
Class:CS
Title: A NEW PROOF OF THE RETIMING LEMMA AND APPLICATIONS (Preliminary Version).
Authors: G. Even
PDFCS0762.pdf
Abstract:

We present a new proof of the retiming lemma, which was formulated and proved by Leiserson and Saxe [LS81]. Our proof relies on space-time transformations, presented first by Hennie [H61]. We show two applications of the retiming lemma to designing and testing of circuits. \newpage

CopyrightThe above paper is copyright by the Technion, Author(s), or others. Please contact the author(s) for more information

Remark: Any link to this technical report should be to this page (http://www.cs.technion.ac.il/users/wwwb/cgi-bin/tr-info.cgi/1993/CS/CS0762), rather than to the URL of the PDF or PS files directly. The latter URLs may change without notice.

To the list of the CS technical reports of 1993
To the main CS technical reports page

Computer science department, Technion