Design and implementation of synthesis prediction in RTL design. - Tamotsu Noji; Keisuke Shimizu; Hideyuki Hamada; Akira Nakamura (Syst. Comput. Jpn., 1996)