I am looking for open source software for logic minimization (a la espresso) targeted to a lookup table based architecture that can take advantage of six inputs LUTs (as you can imagine I have in mind a LUT6/Virtex 5 implementation). Is there such a beast?
thanks much
-Arrigo