Design Automation example #2 :