Design Reviews: The purpose of design reviews is to ensure that the design satisfies the requirements and is of “good quality.” If errors are made during the design process, they will ultimately reflect themselves in the code and the final system. Detecting errors in design is the aim of design reviews.
Automated Crosschecking: One of the important issues during system design verification is whether the design is internally consistent or not. For example, those modules used in module that is defined in the system design must also be defined in the design.
One should also check whether the interface of a module is consistent with the way in which other modules use it. Other internal consistency issues can be consistent use of data structures and whether data usage is consistent with declaration. These consistency issues can be checked during design review and is usually the place where they are checked if no automated help is available.