Functional Coverage Closure with Python