R.K. Ranjan

High performance BDD package by exploiting memory hierarchy

R. Brayton, A. Sangiovanni-Vincentelli, R. Ranjan, 1996, 33rd Design Automation Conference Proceedings, 1996.

On the optimization power of retiming and resynthesis transformations

F. Somenzi, V. Singhal, R. Brayton, 1998, 1998 IEEE/ACM International Conference on Computer-Aided Design. Digest of Technical Papers (IEEE Cat. No.98CB36287).