A logic synthesis system based on global dynamic extraction and flexible cost | IEEE Conference Publication | IEEE Xplore