Generic verification framework in order to deal with all types of (sub-) systems designed according to the emerging NGVA STANAG. The description includes: