Rafik Guindi

A Novel Approach for SVA Generation of DDR Memory Protocols Based on TDML

Mohamed O. Kayed, Mohamed Abdelsalam, Rafik Guindi, 2014, 2014 15th International Microprocessor Test and Verification Workshop.

A proposed methodology to improve UVM-based test generation and coverage closure

Khaled Salah, Rafik Guindi, Khaled Fathy, 2015, 2015 10th International Design & Test Symposium (IDT).

Parameterized test patterns methodology for layout design rule checking verification

Mohamed Dessouky, Rafik Guindi, Mohamed Tantawy, 2015, 2015 IEEE International Conference on Electronics, Circuits, and Systems (ICECS).

A Full-Duplex Transceiver Prototype with In-System Automated Tuning of the RF Self-Interference Cancellation

Jan Craninckx, Björn Debaillie, Barend van Liempd, 2014, 5GU.

Configurable low complexity decoder architecture for Quasi-Cyclic LDPC codes

Rafik Guindi, Sherif Abou Zied, Ahmed T. Sayed, 2013, 2013 21st International Conference on Software, Telecommunications and Computer Networks - (SoftCOM 2013).

A fully integrated charge sharing active decap scheme for power supply noise suppression

James Tschanz, Muhammad M. Khellah, Carlos Tokunaga, 2015, 2015 28th IEEE International System-on-Chip Conference (SOCC).

Model Checking Formal Verification Methodology for Virtual Channel NoCs

Rafik Guindi, Ahmed T. Sayed, Sherif Agamy, 2016 .

Synthesizable SVA protocol checker generation methodology based on TDML and VCD file formats

Mohamed O. Kayed, Mohamed Abdelsalam, Rafik Guindi, 2016, 2016 IEEE International High Level Design Validation and Test Workshop (HLDVT).

Current source based standard-cell model for accurate timing analysis of combinational logic cells

Alaa B. El-Rouby, Rafik Guindi, Amr Wassal, 2013, 2013 IEEE 20th International Conference on Electronics, Circuits, and Systems (ICECS).

Refractive index extraction and thickness optimization of Cu2ZnSnSe4 thin film solar cells

Marc Meuris, Jef Poortmans, Guy Brammertz, 2015 .