1 “... on logic synthesis started in 1979 at the IBM Watson Research Center and at University of California...”