A. Salem

Learn More
Most recent combinational equivalence checking techniques are based on exploiting circuit similarity. In this paper, we focus on circuits with no internal equivalent nodes or after internal equivalent nodes have been identified and merged. We present a new technique integrating Boolean Satisfiability and Binary Decision Diagrams. The proposed approach is(More)
  • Chairperson El-Hajj, Wassim M Professors, Nasri, Ahmad H Turkiyyah, George M Associate, Abu Salem +26 others
  • 2015
In addition to the university requirements for graduate study in the Faculty of Arts and Sciences, students must complete 21 credits and a thesis (thesis option), or 27 credits and a project (project option), as detailed below. For both options, the student must take 9 credits in Theory (CMPS 356), Systems (CMPS 372 or CMPS 374), and Software (CMPS 363).(More)
  • 1