Previous Topic: PrototypingNext Topic: Check for Correctness


Check for Completeness

Verifying the design also involves inspecting the design results for completeness. This verification assures that each elementary process has been faithfully implemented by a procedure.

CA Gen's Consistency Check facility handles a great deal of the required checking automatically. Consistency checking ensures that: