Solving verification challenges for complex devices with a limited number of ports using Debugports