ATLAS: Automatic Term-level abstraction of RTL designs | IEEE Conference Publication | IEEE Xplore