Chinook:
 HW/SW Co-Synthesis of Embedded Systems
