An FPGA Based Accelerator for SAT Based Combinational Equivalence Checking - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Mona Safar' in GoogleThis author has not been identified. Look up 'M. Watheq El-Kharashi' in GoogleThis author has not been identified. Look up 'Ashraf Salem' in Google

runs on WebDSL