Equivalence Verification of FPGA and Structured ASIC Implementations.

Joachim Pistorius, Mike Hutton, Jay Schleicher, Mihail Iotov, Enoch Julias, Kumara Tharmalingam

Browse the full FPL paper archive.