Applications of global flow analysis in logic synthesisLeonard BermanLouise Trevillyanet al.1987ISCAS 1987