HIDE: a logic based hardware intelligent description environment | IEEE Conference Publication | IEEE Xplore