Optimizing blocks in an SoC using symbolic code-statement reachability analysis.

Hong-Zu Chou, Kai-Hui Chang, Sy-Yen Kuo

Browse the full ASPDAC paper archive.