Machine Learning for Electronic Design Automation: Specification Mining and High-Level Synthesis