Hierarchical watermarking in IC design

A formalization of the watermarking problem is presented and basic algorithms for its generation and detection at several abstraction levels are proposed. The concepts of robustness against forgery and theft tracing are analyzed in light of the proposed algorithms.