Separatrices in high-dimensional state space: system-theoretical tangent computation and application to SRAM dynamic stability analysis

Authors:
Yong Zhang;Peng Li;Garng M. Huang
Affiliations:
Texas A&M University, College Station, TX;Texas A&M University, College Station, TX;Texas A&M University, College Station, TX
Venue:
Proceedings of the 47th Design Automation Conference
Year:
2010

Citing 6
Cited 2

Statistical analysis of SRAM cell stability

Proceedings of the 43rd annual Design Automation Conference
Mixture importance sampling and its application to the analysis of SRAM designs in the presence of rare failure events

Proceedings of the 43rd annual Design Automation Conference
Statistical blockade: a novel method for very fast Monte Carlo simulation of rare circuit events, and its application

Proceedings of the conference on Design, automation and test in Europe
SRAM dynamic stability: theory, variability and analysis

Proceedings of the 2008 IEEE/ACM International Conference on Computer-Aided Design
Final-value ODEs: stable numerical integration and its application to parallel circuit analysis

Proceedings of the 2009 International Conference on Computer-Aided Design
Modeling of failure probability and statistical design of SRAM array for yield enhancement in nanoscaled CMOS

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Quantifying Dynamic Stability of Genetic Memory Circuits

IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB)
Functionality and stability analysis of a 400mV quasi-static RAM (QSRAM) bitcell

Microelectronics Journal

Quantified Score

Hi-index	0.00

Visualization

Abstract

Shrinking access cycle times and the employment of dynamic read/write assist circuits have made the use of standard static noise margins increasingly problematic for scaled SRAM designs. Recently proposed dynamic noise margins precisely characterize dynamic stability using the concept of stability boundaries, or separatrices, and provide elegant separatrix tracing algorithm. However, the present separatrix characterization method is only efficient in the two-dimensional state space and hence not practically applicable to fully extracted SRAM designs with additional parasitics. We present a rigorous system-theoretical approach for computing the tangent approximation to the separatrix in the high-dimensional space. Using this as a basis, we develop fast method based on tangent approximation and exact iterative-refinement method for analyzing SRAM dynamic stability. The proposed algorithms have been implemented as a SPICE-like CAD tool and are broadly applicable to efficient computation of dynamic noise margins.