Mona Safar, M. Watheq El-Kharashi, Ashraf Salem. An FPGA Based Accelerator for SAT Based Combinational Equivalence Checking. In Proceedings of the 5th IEEE International Workshop on System-on-Chip for Real-Time Applications (IWSOC 2005), 20-24 July 2004, Banff, Alberta, Canada. pages 419-424, IEEE Computer Society, 2005. [doi]
Abstract is missing.