SMS: Design synthesis