Optimizing blocks in an SoC using symbolic code-statement reachability analysis | IEEE Conference Publication | IEEE Xplore