pgavin/tfp — pull request #1 by christiaanb (2012-06-06 12:18:23+00:00)
Title: Ceiling Log2 function

Add's a (ceiling) Log2 function.

We use the 'tfp' library in our functional hardware compiler: https://github.com/christiaanb/clash-tryout
More specifically, we have 'fixed-size' lists/vectors, where the length is annotated in the type.
If we have a vector of length 'N', an unsigned integer of bit-width (ceiling) Log2(N) is needed to completely index this vector.

Was there any specific reason why Pow2 was include in the library, but Log2 was not?