Towards a global solution to high level synthesis problems. - Abdelhakim Safir; Bertrand Y. Zavidovique (EURO-DAC, 1990)

A high level synthesis algorithm including control constraints. - François Verdier; Abdelhakim Safir; Bertrand Y. Zavidovique (Microprocess. Microprogramming, 1992)

A Floorplanner driven by Structural & Timing Constraints. - Abdelhakim Safir; Baher Haroun; Krishnaiyan Thulasiraman (ISCAS, 1994)

Floorplanning with Datapath Optimization. - Abdelhakim Safir; Baher Haroun; Krishnaiyan Thulasiraman (ISCAS, 1995)