https://github.com/google/xls see https://woset-workshop.github.io/WOSET2021.html#porting-software-to-hardware-using-xlsdslx
