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

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

Published in: ASP-DAC (2010)

Keyphrases

reachability analysis
model checking
markov decision processes
timed automata
incremental algorithms
source code
temporal logic
block size
symbolic representation
low power
state space
hardware and software
image blocks
reinforcement learning
policy iteration
power consumption
video sequences