Automated Connectivity Test Creation for System-in-Package Analog Mixed-Signal Verification