Tsutomu Hoshino Tomonori Shirakawa Yoshio Oyanagi Kiyo Takenouchi Toshio Kawai Super Freedom Simulator PAX. 39-51 1984 conf/vlsi/1984 VLSI Engineering db/conf/vlsi/vlsi1984.html#HoshinoSOTK84