Equivalence Verification of FPGA and Structured ASIC Implementations. - Joachim Pistorius; Mike Hutton; Jay Schleicher; Mihail Iotov; Enoch Julias; Kumara Tharmalingam (FPL, 2007)