CoCEC: An Automatic Combinational Circuit Equivalence Checker Based on the Interactive Theorem Prover

  • Wilayat Khan
  • , Farrukh Aslam Khan
  • , Abdelouahid Derhab
  • , Adi Alhudhaif

Research output: Contribution to journal › Article › peer-review

5 Scopus citations

Fingerprint

Dive into the research topics of 'CoCEC: An Automatic Combinational Circuit Equivalence Checker Based on the Interactive Theorem Prover'. Together they form a unique fingerprint.

Computer Science