Intellectual property protection by watermarking combinational logic synthesis solutions