Whistle: a workbench for test development of library-based designs | IEEE Journals & Magazine | IEEE Xplore