Versatile High-level Synthesis of Self-checking Datapaths Using an On-line Testability Metric

by Petros Oikonomakos , Mark Zwolinski , Bashir M. Al-hashimi