Operation-centric hardware description and synthesis