Btw, did some reading on algebraic logic minimization last night along with a couple other techniques. This is already done, automatically, during synth (but can be turned off). Seeing the process, yes, it's something that could be added to simplify logic circuits. HOWEVER, Vivado already does it! Starting to question OP and if this bittware account is even really bittware. I might have to put my foot in my mouth in 18 days, but the more I look at it, the more I'm thinking it's not possible. Elaborate scam?
Using Logic Friday is also a valid approach, but I don't understand how that gets translated back into Vivado. Unless the coding is done at gate level, I don't know how it would be done. Logic Friday is also limited to 16 input and 16 output truth tables. The Espresso algorithm is also the correct logic reduction scheme. Logic Friday uses that algorithm for logic reduction. There is also C code for the algorithm that would not have truth table size restrictions.
Xilinx does not give their algorithm methods to the public. Maybe Synopsys would have some features I am not familiar with.
What does the OP gain by making this up? Only way I can think that they would profit is if they are getting a profit share of the hardware sales.