8.2 Special Session: Innovative methods for verifying Systems-on-Chip: digital, mixed-signal, security and software