Avalon Verification IP Suite: User Guide