https://5dok.org/document/y8g3dp85-code-generation-for-custom-architectures-using-constraint-programming.html