An approach for computing the initial state for retimed synchronous sequential circuits.

Noureddine Chabini Wayne H. Wolf

Published in: HLDVT (2007)

Keyphrases

initial state
situation calculus
state space
stationary distribution
optimal policy
heuristic function
probability distribution
high speed
markov decision process
action sequences
action theories
machine learning
special case
dynamic programming
belief space
goal state