Constraint-based watermarking techniques for design IP protection | Synapse