Structure exploration in high-level language description for logic synthesis | IEEE Conference Publication | IEEE Xplore