| Title: |
Iterated calculation of global implications and recursive learning in combinational equivalence checking |
| Authors: |
S Reda, A Wahba, A Salem, MA Ghonaimy |
| 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 of the 43rd IEEE Midwest Symposium ... |
| URL on Google: |
https://scholar.google.com.eg/citations?view_op=view_citation&hl=en&citation_for_view=QCRKlN4AAAAJ:TFP_iSt0sucC |
| Citations: |
Not Available |
| Paper Link: |
Not Available |
| Full paper |
Not Available |
|
