Comparing Design Synthesis Methods