Users Guide - Verification of Functional Brain Coverage