Shingo Kinoshita Hiroyuki Yamashita Toshihiko Suguri Kouichi Nagami Hardware/software co-simulation focusing on functional verification of large-scale ASICs. 43-59 1999 30 Systems and Computers in Japan 1 http://dx.doi.org/10.1002/(SICI)1520-684X(199901)30:1<43::AID-SCJ5>3.0.CO;2-9 db/journals/scjapan/scjapan30.html#KinoshitaYSN99