Equivalence Verification of FPGA and Structured ASIC Implementations - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Joachim Pistorius, Mike Hutton, Jay Schleicher, Mihail Iotov, Enoch Julias, Kumara Tharmalingam. Equivalence Verification of FPGA and Structured ASIC Implementations. In Koen Bertels, Walid A. Najjar, Arjan J. van Genderen, Stamatis Vassiliadis, editors, FPL 2007, International Conference on Field Programmable Logic and Applications, Amsterdam, The Netherlands, 27-29 August 2007. pages 423-428, IEEE, 2007. [doi]

This author has not been identified. Look up 'Joachim Pistorius' in GoogleThis author has not been identified. Look up 'Mike Hutton' in GoogleThis author has not been identified. Look up 'Jay Schleicher' in GoogleThis author has not been identified. Look up 'Mihail Iotov' in GoogleThis author has not been identified. Look up 'Enoch Julias' in GoogleThis author has not been identified. Look up 'Kumara Tharmalingam' in Google

runs on WebDSL