LEKO/LEKU benchmarks Primarily for testing of LUT mappers. Artificially constructed combinational circuits with known optimum (LEKO) or upper size bound (LEKU). In formats BLIF, VHDL More information at https://ddd.fit.cvut.cz/www/prj/Benchmarks/LEKO_LEKU.htm