( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Solving constraints in FPGA detailed routing using SMT.

, и . ICECS, стр. 613-616. IEEE, (2015)

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.

Mohamed Salem

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

Ashraf Elsayed

Ashraf Samarah

Mohamed Ashraf

Ashraf Bozorgzadéh

 

Другие публикации лиц с тем же именем

A novel approach for assertion based verification of DDR memory protocols., , , и . FDL, стр. 1-4. IEEE, (2013)Formal Verification of Digital Circuits.. IWSOC, стр. 15. IEEE Computer Society, (2004)Anomaly Detection System for Altered Signal Values within the Intra-Vehicle Network., , и . DTIS, стр. 1-6. IEEE, (2020)Towards Automating Hardware/Software Co-Design., , , , и . IWSOC, стр. 189-192. IEEE Computer Society, (2004)A novel approach for system level synthesis of multi-core system architectures from TPG models., , , , и . AICCSA, стр. 268-275. IEEE Computer Society, (2011)M-CHECK: a multiple engine combinational equivalence checker., , и . ISCAS, стр. 613-616. IEEE, (2000)Formal Based Methodology for Inferring Memory Mapped Registers., , и . MTV, стр. 15-18. IEEE Computer Society, (2016)TLM Based Approach for Architecture Exploration of Multicore Systems-on-Chip., , , и . MTV, стр. 1-4. IEEE Computer Society, (2011)Automatic test pattern generation for virtual hardware model using constrained symbolic execution., , , и . IDT, стр. 149-150. IEEE, (2015)SoC verification platforms using HW emulation and co-modeling Testbench technologies., и . IDT, стр. 14-19. IEEE, (2015)