Verifying start-up conditions for a ring oscillator.

Mark R. Greenstreet Suwen Yang

Published in: ACM Great Lakes Symposium on VLSI (2008)

Keyphrases

sufficient conditions
real time
image processing
reinforcement learning
wide range
preprocessing
model checking