Rajeev K. Ranjan Advanced Technology Group Synopsys Inc. On the Optimization Power of Retiming and Resynthesis Transformations Joint work with: Vigyan Singhal, Cadence Berkeley Labs, Berkeley Fabio Somenzi, Univ. of Colorado, Boulder Robert K. Brayton, Univ. of California, Berkeley
30
Embed
Rajeev K. Ranjan Advanced Technology Group Synopsys Inc. On the Optimization Power of Retiming and Resynthesis Transformations Joint work with: Vigyan.
This document is posted to help you gain knowledge. Please leave a comment to let me know what you think about it! Share it to your friends and learn new things together.
Transcript
Rajeev K. RanjanAdvanced Technology Group
Synopsys Inc.
On the Optimization Power of Retiming and Resynthesis Transformations
On the Optimization Power of Retiming and Resynthesis Transformations
Joint work with:Vigyan Singhal, Cadence Berkeley Labs, BerkeleyFabio Somenzi, Univ. of Colorado, BoulderRobert K. Brayton, Univ. of California, Berkeley
All circuit optimizations
(T+S)*
Re(T)iming
(S)ynthesis
MotivationMotivation
Optimization capability of retiming and resynthesis - an open question
Theoretical foundation for practical retiming and resynthesis based synthesis and verification
Iterative Retiming and Resynthesis:(T + S) *Iterative Retiming and Resynthesis:(T + S) * Retiming changes interaction between different
combinational blocks
Combinational synthesis generates new candidate latch locations
Sequence of retiming and synthesis provides powerful sequential optimization technique [Malik and Sentovich] [Iyer and Ciesielski] [Hassoun and Ebling]