以下の論文が ASP-DAC 2025 に採択されました。1月に東京で成果を発表します。
T. Tanaka, T. Uezono, K. Suenaga, and M. Hashimoto, “Hardware Error Detection with In-Situ Monitoring of Control Flow-Related Specifications,” Proceedings of Asia and South Pacific Design Automation Conference (ASP-DAC), to appear.