System Design Automation Laboratory