Sign in

Reachability-Based Robustness Verification and Optimization of SRAM Dynamic Stability Under Process Variations.

Yang SongHao YuSai Manoj Pudukotai Dinakarrao
Published in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2014)
Keyphrases
  • optimization process
  • power consumption
  • dynamic optimization
  • optimization problems
  • genetic algorithm
  • knowledge base
  • search algorithm
  • sufficient conditions
  • dynamic environments
  • development process