Addition of interface logic, whether it is isolation gates for power switching or level shifters for voltage scaling, does introduce additional verification challenges. Checks need to be run to verify ...