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
| Name | Name | Last commit date | ||
|---|---|---|---|---|
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