Figure 2.10 Three Verification Methods of the Design Flow (CPLDs)