Functional Verification — lifting the veil

Introduction