Using WAVES for verification of synthesized sub-components in a deeply hierarchical design | IEEE Conference Publication | IEEE Xplore