Integration of logic synthesis and high-level synthesisRaul CamposanoLouise Trevillyan1989ISCAS 1989Conference paper