Test Your Designs with TSD