.:. Browse > List by authors > Alsayeg .:.

6 documents ordered by : Date Title first author name document type Submit date

A modular synthesis method for low-power QDI state machines Alsayeg K. et al In Proc. of 9th IEEE International NEWCAS Conference - 9th IEEE International NEWCAS Conference, France (2011) [hal-00646564 - version 1]

Synthèse de contrôleurs séquentiels QDI faible consommation prouvés corrects Alsayeg K. Institut National Polytechnique de Grenoble - INPG (2010-09-01), M. Renaudin (Dir.) [tel-00540981 - version 1]

Direct mapping of sequential QDI controllers Alsayeg K. et al DATE 2009, Ph D Forum poster, France (2009) [hal-00422286 - version 1]

RAT-based formal verification of QDI asynchronous controllers Alsayeg K. et al Dans Forum on specifications and Design Languages (FDL'09) - Forum on specifications and Design Languages (FDL'09), France (2009) [hal-00471574 - version 1]

Optimizing speed and consumption of QDI controllers using direct mapping synthesis Alsayeg K. et al Dans Proc. of Joint 7th International IEEE Northeast Workshop on Circuits and Systems and TAISA Conference (NEWCAS-TAISA'09) - Joint 7th International IEEE Northeast Workshop on Circuits and Systems and TAISA Conference (NEWCAS-TAISA'09), France (2009) [hal-00421682 - version 1]

Synthesis of asynchronous QDI FSM based on optimized sequencers Alsayeg K. et al Dans 34th European Conference on Solid-States Circuits (ESSCIRC'08) - 34th European Conference on Solid-States Circuits (ESSCIRC'08), ESS Fringe Poster Session, Royaume-Uni (2008) [hal-00354513 - version 1]