CoCEC: An Automatic Combinational Circuit Equivalence Checker Based on the Interactive Theorem Prover - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Wilayat Khan, Farrukh Aslam Khan, Abdelouahid Derhab, Adi Alhudhaif. CoCEC: An Automatic Combinational Circuit Equivalence Checker Based on the Interactive Theorem Prover. Complexity, 2021, 2021. [doi]

This author has not been identified. Look up 'Wilayat Khan' in GoogleThis author has not been identified. Look up 'Farrukh Aslam Khan' in GoogleThis author has not been identified. Look up 'Abdelouahid Derhab' in GoogleThis author has not been identified. Look up 'Adi Alhudhaif' in Google

runs on WebDSL