Hong-Zu Chou, Kai-Hui Chang, Sy-Yen Kuo. Optimizing blocks in an SoC using symbolic code-statement reachability analysis. In Proceedings of the 15th Asia South Pacific Design Automation Conference, ASP-DAC 2010, Taipei, Taiwan, January 18-21, 2010. pages 787-792, IEEE, 2010. [doi]
Abstract is missing.