The core test wrapper handbook : rationale and application of IEEE Std. 1500™ - Silva, Francisco da