In-circuit assertions and exceptions for reconfigurable hardware design. - Todman, T; Luk, W (Provably Correct Systems, 2017)