Return to Article Details From Automated Verification to Automated Design Download Download PDF