Software-Based Self-Testing With Multiple-Level Abstractions for Soft Processor Cores | IEEE Journals & Magazine | IEEE Xplore