Use easyer-to-read unoptimized ceil_log2()
authorClifford Wolf <clifford@clifford.at>
Mon, 15 Feb 2016 22:06:18 +0000 (23:06 +0100)
committerClifford Wolf <clifford@clifford.at>
Mon, 15 Feb 2016 22:06:18 +0000 (23:06 +0100)
commit45af4a4acf6d3bc1f83b65f1cd103c0226f30b8b
tree16e2f1fc5aa9975761f84cdf9b416a0ea94ac3c1
parent7a9257e7b5e4ea039e4bcc7183cee81b363b8166
Use easyer-to-read unoptimized ceil_log2()

see here for details on the optimized version:
http://svn.clifford.at/handicraft/2016/esbmc/ceilog2.c
kernel/yosys.cc