GitHub repository: nicolo-felicioni/retiming
Primary language: Python
Description: Implementation of the algorithms introduced in the paper "Retiming synchronous circuitry", by Leiserson and Saxe