HAL III: function level hardware logic simulation. - Shigeru Takasaki; Nobuyoshi Nomizu; Yoshihiro Hirabayashi; Hiroshi Ishikura; Masahiro Kurashita; Nobuhiko Koike; Toshiyuki Nakata 001 (ICCD, 1990)