High level pre-synthesis optimization steps using hierarchical conditional dependency graphs | IEEE Conference Publication | IEEE Xplore