Design Automation example #1 :