Browsing Computer Science and Artificial Intelligence Lab (CSAIL) by Author "Papaefthymiou, Marios Christos"

Now showing items 1-2 of 2

    • On Retiming Synchronous Circuitry and Mixed-integer Optimization 

      Papaefthymiou, Marios Christos (1990-09)
      In this paper we investigate properties of retiming, a circuit transformation which preserves the behavior of the circuit as a whole. We present an algorithm which transforms a given combinational circuit into a functionally ...

    • A Timing Analysis and Optimization System for Level-clocked Circuitry 

      Papaefthymiou, Marios Christos (1993-09)
      This thesis investigates timing analysis and optimization issues in synchronous circuitry. The major thrust of our work is a collection of provably correct and efficient algorithms that perform a variety of architectural-level ...