Minaret: Retiming Tool for Edge-Triggered Circuits

• Released 1998, use on an as-is basis.
• Minaret is a fast retiming tool for edge-triggered circuits, based on exploiting the relationship between retiming and clock skew. It includes ASTRA for clock skew optimization. The underlying algorithms are described in:
  • N. Maheshwari and S. S. Sapatnekar, “Efficient Retiming of Large Circuits,” IEEE Transactions on VLSI Systems, Vol. 6, No. 1, pp. 74 – 83, March 1998. [Local | IEEExplore]
  • S. S. Sapatnekar and R. B. Deokar, “Utilizing the Retiming-Skew Equivalence in a Practical Algorithm for Retiming Large Circuits,” IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. Vol. 15, No. 10, pp. 1237 – 1248, October 1996. [Local | IEEExplore]
• To download a .tgz file with the source code, click here. Please look at the README file within the archive for instructions and conditions.
• We also have an implementation of Minaret.Level for level-clocked circuits. If you're interested and adventurous, you're welcome to try it out: please email me for a copy.