FSM watermarks based on ordering of flip flops

In this paper, we propose a method for constructing and verifying a watermark of finite state machines based on ordering of flip flops. The underlying idea is to use the flip-flop arrangement information as part of the IP owner's secret. We present simple watermark construction and verification algorithms. We demonstrate the feasibility of the proposed method for a class of FSMs which satisfies certain conditions.