RIDDLE: a foundation for test generation on a high-level design description | IEEE Journals & Magazine | IEEE Xplore