Buffer and Controller Minimisation for Time-Constrained Testing of System-On-Chip