50th DAC Tutorials Focus on Verification, Implementation and Embedded Systems