A scalable framework to validate interconnect-based firewalls to enhance SoC security coverage