Haytham Azmi

Publication Activity (10 Years)

Years Active: 2003-2024
Publications (10 Years): 4

Top Topics

Formal Verification

Bounded Model Checking

Design Automation

Top Venues

J. Electron. Test.

Publications

Hala Ibrahim, Haytham Azmi, M. Watheq El-Kharashi, Mona Safar
Non-Invasive Hardware Trojans Modeling and Insertion: A Formal Verification Approach. J. Electron. Test. 40 (1) (2024)
Ratshih Sayed, Haytham Azmi, Heba A. Shawkey, A. H. Khalil, Mohamed Refky
A Systematic Literature Review on Binary Neural Networks. IEEE Access 11 (2023)
Hala Ibrahim, Haytham Azmi, M. Watheq El-Kharashi, Mona Safar
Hardware Security Analysis of Arbiters: Trojan Modeling and Formal Verification. VLSI-SoC (2023)
Ratshih Sayed, Haytham Azmi, Amin M. Nassar, Heba A. Shawkey
Design Automation and Implementation of Machine Learning Classifier Chips. IEEE Access 8 (2020)
Haytham Azmi, Hamed Elsimary, Mohamed Ibrahim Youssef, Ahmad Safwat
FPGA based multi-standard configurable FSK demodulator. Integr. 36 (3) (2003)