Automatic knowledge acquisition in a digital circuit design system | IEEE Conference Publication | IEEE Xplore