Publications of Benha University on Google Scholar: Combinational equivalence checking using Boolean satisfiability and binary decision diagrams |
| Title: | Combinational equivalence checking using Boolean satisfiability and binary decision diagrams |
| Authors: | S Reda, A Salem |
| Year: | 2001 |
| Keywords: | Not Available |
| Journal/Conference: | Proceedings of the conference on Design, automation and test in Europe |
| Volume: | Not Available |
| Issue: | Not Available |
| Pages: | 122-126 |
| Publisher: | Proceedings of the conference on Design, automation and test in Europe, 122-126 |
| URL on Google: | https://scholar.google.com.eg/citations?view_op=view_citation&hl=en&citation_for_view=QCRKlN4AAAAJ:9yKSN-GCB0IC |
| Citations: | 31 |
| Paper Link: | Not Available |
| Full paper | Not Available |