A Hardware SAT Solver Using Non-chronological Backtracking and Clause Recording Without Overheads. - Shinya Hiramoto; Masaki Nakanishi; Shigeru Yamashita; Yasuhiko Nakashima (ARC, 2007)

The Tofu Interconnect. - Yuichiro Ajima; Tomohiro Inoue; Shinya Hiramoto; Yuzo Takagi; Toshiyuki Shimizu (IEEE Micro, 2012)

The Tofu Interconnect 2. - Yuichiro Ajima; Tomohiro Inoue; Shinya Hiramoto; Shun Ando; Masahiro Maeda; Takahide Yoshikawa; Koji Hosoe; Toshiyuki Shimizu (Hot Interconnects, 2014)

Tofu Interconnect 2: System-on-Chip Integration of High-Performance Interconnect. - Yuichiro Ajima; Tomohiro Inoue; Shinya Hiramoto; Shunji Uno; Shinji Sumimoto; Kenichi Miura; Naoyuki Shida; Takahiro Kawashima; Takayuki Okamoto; Osamu Moriyama; Yoshiro Ikeda; Takekazu Tabata; et al. (ISC, 2014)

The Tofu Interconnect D. - Yuichiro Ajima; Takahiro Kawashima; Takayuki Okamoto; Naoyuki Shida; Kouichi Hirai; Toshiyuki Shimizu; Shinya Hiramoto; Yoshiro Ikeda; Takahide Yoshikawa; Kenji Uchida; Tomohiro Inoue (CLUSTER, 2018)