A framework environment for logic design support system | IEEE Conference Publication | IEEE Xplore