Towards Test-Driven Development for FPGA-Based Modules Across Abstraction Levels | IEEE Journals & Magazine | IEEE Xplore