https://9lib.co/document/yd7mk36e-hardware-software-synthesis-borriello-department-engineering-university-washington.html