Login / Signup
SRAM dynamic stability verification by reachability analysis with consideration of threshold voltage variation.
Yang Song
Hao Yu
Sai Manoj Pudukotai Dinakarrao
Guoyong Shi
Published in:
ISPD (2013)
Keyphrases
</>
reachability analysis
model checking
power consumption
distributed systems
dynamic environments
markov decision processes
temporal logic
timed automata
low cost
power system
integrity constraints
incremental algorithms
low voltage