A Tool for Supporting and Automating the Test of Complex System-on-Chips