A Timing Analysis and Optimization System for Level-clocked Circuitry

Abstract

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 operations on level-clocked