US7809544B1 - Methods of Detecting Unwanted Logic in Designs for Programmable Logic Devices