Intellectual property protection in VLSI designs : theory and practice - Qu, Gang, 1969-