Verification plans : the five-day verification strategy for modern hardware verification languages - James, Peet (Kluwer Academic Publishers, 2004)