Seol mar théacs é seo: Computer-aided testing of switching and interconnect resources of FPGAs