High-level synthesis software products that enable design at a higher level of abstraction.