( en | de | ru )

 

Disambiguation of "Salem, Ashraf"

Author of the publication

copydeleteadd this publication to your clipboard
On the use of don't cares during symbolic reachability analysis.

, , , , and . ISCAS (5), page 121-124. IEEE, (2001)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Mohamed Salem

Detection of Mycobacterium avium subspecies paratuberculosis in dairy herds and comparative molecular characterization. Uni Gießen, (2009)

Mohamed Ashraf

Ashraf Elsayed

Ashraf Samarah

Ashraf Bozorgzadéh

 

Other publications of authors with the same name

SoC verification platforms using HW emulation and co-modeling Testbench technologies., and . IDT, page 14-19. IEEE, (2015)A novel approach for assertion based verification of DDR memory protocols., , , and . FDL, page 1-4. IEEE, (2013)M-CHECK: a multiple engine combinational equivalence checker., , and . ISCAS, page 613-616. IEEE, (2000)A novel approach for system level synthesis of multi-core system architectures from TPG models., , , , and . AICCSA, page 268-275. IEEE Computer Society, (2011)Automatic test pattern generation for virtual hardware model using constrained symbolic execution., , , and . IDT, page 149-150. IEEE, (2015)Formal Based Methodology for Inferring Memory Mapped Registers., , and . MTV, page 15-18. IEEE Computer Society, (2016)TLM Based Approach for Architecture Exploration of Multicore Systems-on-Chip., , , and . MTV, page 1-4. IEEE Computer Society, (2011)Formal Verification of Digital Circuits.. IWSOC, page 15. IEEE Computer Society, (2004)Towards Automating Hardware/Software Co-Design., , , , and . IWSOC, page 189-192. IEEE Computer Society, (2004)Fuzzy-based configuration of automated data acquisition systems for earthmoving operations., , and . J. Inf. Technol. Constr., (2018)