A verifiable design methodology at system-level