Flexible In-Silicon Checking of Run-Time Programmable Assertions.

by Y. Zhou, O. Bringmann, and W. Rosenstiel
In On-Line Testing and Robust System Design (IOLTS), 2016.