Extracting hardware assertions including word-level relations over multiple clock cycles. - Mami Miyamoto; Kiyoharu Hamaguchi (ISQED, 2018)