Logic simulation for LSI. - Kazuyuki Hirakawa; Noboru Shiraki; Michiaki Muraoka (DAC, 1982)