Test Directive Generation for Functional Coverage Closure Using Inductive Logic Programming | IEEE Conference Publication | IEEE Xplore