Verification Methodology Manual support

Current version of HAVEN conforms to the principles in Verification Methodology Manual. Next release will be rewritten using Universal Verification Methodology in order to achieve state of the art level of the whole environment.