The following paper has been accepted for ASP-DAC 2025. We will present the results in January in Tokyo.
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.
