282 articles – 2123 references  [version française]
.:. Browse > List by authors > Alsayeg .:.
6 documents ordered by :

A modular synthesis method for low-power QDI state machines
Alsayeg K. et al
Dans Proc. of 9th IEEE International NEWCAS Conference - 9th IEEE International NEWCAS Conference, France (2011) [hal-00646564 - version 1]
fulltext access Synthèse de contrôleurs séquentiels QDI faible consommation prouvés corrects
Alsayeg K.
Institut National Polytechnique de Grenoble - INPG (01/09/2010), 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]