US8887121B2 - Developing Programs for Hardware Implementation in a Graphical Specification and Constraint Language