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

Hong-Zu Chou, Kai-Hui Chang, Sy-Yen Kuo (2010)

Details and statistics

DOI: 10.1109/ASPDAC.2010.5419784

access: closed

type: Conference or Workshop Paper

metadata version: 2019-09-25

a service of  Schloss Dagstuhl - Leibniz Center for Informatics