Towards Fully Automated Verification of Semiconductor Technologies