Hot: design-automation