Design Automation Research Lab