A Verification Technique for Gated Clock. - Masamichi Kawarabayashi; Narendra V. Shenoy; Alberto L. Sangiovanni-Vincentelli (DAC, 1993)

Post-Layout Optimization for Deep Submicron Design. - Koichi Sato; Masamichi Kawarabayashi; Hideyuki Emura; Naotaka Maeda (DAC, 1996)

Is there a Market for SystemC Tools? - Wolfgang Rosenstiel; Reinaldo A. Bergamaschi; Frank Ghenassia; Thorsten Groetker; Masamichi Kawarabayashi; Marinus C. van Lier; Albrecht Mayer; Mike Meredith; Mark Milligan; Stuart Swan (DATE, 2005)