Time-sensitive affine types for predictable hardware generation - View it on GitHub