Publications of Benha University on Google Scholar: M-check: A multiple engine combinational equivalence checker |
| Title: | M-check: A multiple engine combinational equivalence checker |
| Authors: | S Reda, A Wahba, A Salem |
| Year: | 2000 |
| Keywords: | Not Available |
| Journal/Conference: | Circuits and Systems, |
| Volume: | Not Available |
| Issue: | Not Available |
| Pages: | Not Available |
| Publisher: | Circuits and Systems, 2000. Proceedings. ISCAS 2000 Geneva. The 2000 IEEE ... |
| URL on Google: | https://scholar.google.com.eg/citations?view_op=view_citation&hl=en&citation_for_view=QCRKlN4AAAAJ:1sJd4Hv_s6UC |
| Citations: | 7 |
| Paper Link: | Not Available |
| Full paper | Not Available |