Retour au livre— Modelling and Synthesis of Digital Systems