Protecting Combinational Logic Synthesis Solutions