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