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)
Although the electrocardiogram (ECG) has been a reliable diagnostic tool for decades, its deployment in the context of biometrics is relatively recent. Its robustness to falsification, the evidence it carries about aliveness and its rich feature space has rendered the deployment of ECG based biometrics an interesting prospect. The rich feature space(More)
  • 1