Login | Register

A Robust FSM Watermarking Scheme for IP Protection of Sequential Circuit Design

Title:

A Robust FSM Watermarking Scheme for IP Protection of Sequential Circuit Design

Cui, Aijiao, Chang, Chip-Hong, Tahar, Sofiène and Abdel-Hamid, Amr T. (2011) A Robust FSM Watermarking Scheme for IP Protection of Sequential Circuit Design. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 30 (5). pp. 678-690. ISSN 0278-0070

[img]
Preview
Text (application/pdf)
TCAD-2011.pdf - Accepted Version
311kB

Official URL: http://dx.doi.org/10.1109/TCAD.2010.2098131

Abstract

Finite state machines (FSMs) are the backbone of sequential circuit design. In this paper, a new FSM watermarking scheme is proposed by making the authorship information a non-redundant property of the FSM. To overcome the vulnerability to state removal attack and minimize the design overhead, the watermark bits are seamlessly interwoven into the outputs of the existing and free transitions of state transition graph (STG). Unlike other transition-based STG watermarking, pseudo input variables have been reduced and made functionally indiscernible by the notion of reserved free literal. The assignment of reserved literals is exploited to minimize the overhead of watermarking and make the watermarked FSM fallible upon removal of any pseudo input variable. A direct and convenient detection scheme is also proposed to allow the watermark on the FSM to be publicly detectable. Experimental results on the watermarked circuits from the ISCAS'89 and IWLS'93 benchmark sets show lower or acceptably low overheads with higher tamper resilience and stronger authorship proof in comparison with related watermarking schemes for sequential functions.

Divisions:Concordia University > Gina Cody School of Engineering and Computer Science > Electrical and Computer Engineering
Item Type:Article
Refereed:Yes
Authors:Cui, Aijiao and Chang, Chip-Hong and Tahar, Sofiène and Abdel-Hamid, Amr T.
Journal or Publication:IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Date:2011
Digital Object Identifier (DOI):10.1109/TCAD.2010.2098131
Keywords:Finite state machine (FSM) IP watermarking intellectual property (IP) protection sequential design state transition graph (STG)
ID Code:977362
Deposited By: DANIELLE DENNIE
Deposited On:14 Jun 2013 13:56
Last Modified:18 Jan 2018 17:44

References:

"Intellectual property protection development working group", Intellectual Property Protection: Schemes, Alternatives and Discussion, 2001

I. Hong and M. Potkonjak "Techniques for intellectual property protection of DSP designs", Proc. IEEE Int. Conf. Acoust. Speech Signal Process., vol. 5, pp.3133 -3136 1998


A. T. Abdel-Hamid , S. Tahar and E. M. Aboulhamid Design Automation for Embedded Systems, vol. 10, pp.1 -17 2005 :Springer-Verlag

D. Kirovski , Y. Y. Hwang , M. Potkonjak and J. Cong "Protecting combinational logic synthesis solutions", IEEE Trans. Comput.-Aided Design Integr. Circuits Syst., vol. 25, no. 12, pp.2687 -2696 2006


A. Cui , C. H. Chang and S. Tahar "IP watermarking using incremental technology mapping at logic synthesis level", IEEE Trans. Comput.-Aided Design Integr. Circuits Syst., vol. 27, no. 9, pp.1565 -1570 2008


A. Cui and C. H. Chang "Stego-signature at logic synthesis level for digital design IP protection", Proc. IEEE Int. Symp. Circuits Syst., pp.4611 -4614 2006


A. Cui and C. H. Chang "Watermarking for IP protection through template substitution at logic synthesis level", Proc. IEEE Int. Symp. Circuits Syst., pp.3687 -3690 2007


A. B. Kahng , J. Lach , W. H. Mangione-Smith , S. Mantik , I. L. Markov , M. Potkonjak , P. Tucker , H. Wang and G. Wolfe "Constraint-based watermarking techniques for design IP protection", IEEE Trans. Comput.-Aided Design Integr. Circuits Syst., vol. 20, no. 10, pp.1236 -1252 2001


H. J. Kim , W. H. Mangione-Smith and M. Potkonjak "Protecting ownership rights of a lossless image coder through hierarchical watermarking", Proc. Workshop Signal Process. Syst., pp.73 -82 1998


A. Rashid , J. Asher , W. H. Mangione-Smith and M. Potkonjak "Hierarchical watermarking for protection of DSP filter cores", Proc. IEEE Custom Integr. Circuits Conf., pp.39 -42 1999


A. L. Oliveira "Robust techniques for watermarking sequential circuit designs", Proc. IEEE/ACM Des. Autom. Conf., pp.837 -842 1999


A. L. Oliveira "Techniques for the creation of digital watermarks in sequential circuit designs", IEEE Trans. Comput.-Aided Design Integr. Circuits Syst., vol. 20, no. 9, pp.1101 -1117 2001


I. Torunoglu and E. Charbon "Watermarking-based copyright protection of sequential functions", IEEE J. Solid-State Circuits, vol. 35, pp.434 -440 2000


A. T. Abdel-Hamid , S. Tahar and E. M. Aboulhamid "A public-key watermarking technique for IP designs", Proc. Des. Autom. Test Eur., vol. 1, pp.330 -335 2005


A. Cui and C. H. Chang "Intellectual property authentication by watermarking scan chain in design-for-testability flow", Proc. IEEE Int. Symp. Circuits Syst., pp.2645 -2648 2008


A. Cui and C. H. Chang "An improved publicly detectable watermarking scheme based on scan chain ordering", Proc. IEEE Int. Symp. Circuits Syst., pp.29 -32 2009


C. H. Chang and A. Cui "Synthesis-for-testability watermarking for field authentication of VLSI intellectual property", IEEE Trans. Circuits Syst.-I, vol. 57, no. 7, pp.1618 -1630 2010


J.-K. Rho , G. D. Hachtel , F. Somenzi and R. M. Jacoby "Exact and heuristic algorithms for the minimization of incompletely specified state machines", IEEE Trans. Comput.-Aided Design Integr. Circuits Syst., vol. 13, no. 2, pp.167 -177 1994


J. M. Pena and A. L. Oliveira "A new algorithm for exact reduction of incompletely specified finite state machines", IEEE Trans. Comput.-Aided Design Integr. Circuits Syst., vol. 18, no. 11, pp.1619 -1632 1999


T. Kam , T. Villa , R. Brayton and A. Sangiovanni-Vincentelli "A fully implicit algorithm for exact state minimization", Proc. ACM/IEEE Design Autom. Conf., pp.684 -690 1994


A. Menezes , P. van Oorschot and S. Vanstone Handbook of Applied Cryptography, 1996 :CRC Press

G. De Micheli Synthesis and Optimization of Digital Circuits, 1994 :McGraw-Hill

E. M. Sentovich , K. J. Singh , C. Moon , H. Savoj , R. K. Brayton and A. Sangiovanni-Vincentelli "Sequential circuit design using synthesis and optimization", Proc. IEEE Int. Conf. Comput. Design VLSI Comput. Processors, pp.328 -333 1992


R. K. Ranjan , V. Singhal , F. Somenzi and R. K. Brayton "On the optimization power of retiming and resynthesis transformations", Proc. IEEE/ACM Int. Conf. Comput.-Aided Design, pp.402 -407 1998


D. Chen , M. Sarrafzadeh and G. K. H. Yeap "State encoding of finite state machines for low power design", Proc. IEEE Int. Symp. Circuits Syst., pp.2309 -2312 1995


T. Kam , T. Villa , R. Brayton and A. Sangiovanni-Vincentelli Synthesis of FSMs: Functional Optimization, 1997 :Kluwer

R. J. Kyung , G. D. Hachtel , F. Somenzi and R. M. Jacoby "Exact and heuristic algorithms for the minimization of incompletely specified state machines", IEEE Trans. Comput.-Aided Design Integr. Circuits Syst., vol. 13, no. 2, pp.167 -177 1994


C. Pruteanu and C. Haba "GenFSM: A finite state machine generation tool", Proc. 9th Int. Conf. Dev. Applicat. Syst., pp.165 -168 2008
All items in Spectrum are protected by copyright, with all rights reserved. The use of items is governed by Spectrum's terms of access.

Repository Staff Only: item control page

Downloads per month over past year

Research related to the current document (at the CORE website)
- Research related to the current document (at the CORE website)
Back to top Back to top