Login / Signup
Khaled Nouh
Publication Activity (10 Years)
Years Active: 2013-2017
Publications (10 Years): 2
Top Topics
Model Checking
Binary Csps
Functional Verification
Floating Point
Top Venues
ICECS
VLSI-SoC
</>
Publications
</>
Islam Ahmed
,
Khaled Nouh
,
Amr Abbas
Multiple reset domains verification using assertion based verification.
VLSI-SoC
(2017)
Khaled Nouh
,
Hossam A. H. Fahmy
Binary floating point verification using random test vector generation based on SV constraints.
ICECS
(2015)
Khaled Nouh
,
Haytham Saafan
,
Ahmed Ismail
X-Aware verification: A different perspective!
ICECS
(2013)