C2 Design Automation