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]
@inproceedings{PistoriusHSIJT07,
title = {Equivalence Verification of FPGA and Structured ASIC Implementations},
author = {Joachim Pistorius and Mike Hutton and Jay Schleicher and Mihail Iotov and Enoch Julias and Kumara Tharmalingam},
year = {2007},
doi = {10.1109/FPL.2007.4380683},
url = {http://dx.doi.org/10.1109/FPL.2007.4380683},
researchr = {https://researchr.org/publication/PistoriusHSIJT07},
cites = {0},
citedby = {0},
pages = {423-428},
booktitle = {FPL 2007, International Conference on Field Programmable Logic and Applications, Amsterdam, The Netherlands, 27-29 August 2007},
editor = {Koen Bertels and Walid A. Najjar and Arjan J. van Genderen and Stamatis Vassiliadis},
publisher = {IEEE},
isbn = {1-4244-1060-6},
}