VALSE-XT: Highly automated, certified, and scaled Validation of "System-on-Chip"-Designs