ridm@nrct.go.th   ระบบคลังข้อมูลงานวิจัยไทย   รายการโปรดที่คุณเลือกไว้

Reachability-based robustness verification and optimization of SRAM dynamic stability under process variations

หน่วยงาน Nanyang Technological University, Singapore

รายละเอียด

ชื่อเรื่อง : Reachability-based robustness verification and optimization of SRAM dynamic stability under process variations
นักวิจัย : Song, Yang , Yu, Hao , DinakarRao, Sai Manoj Pudukotai
คำค้น : DRNTU::Engineering::Electrical and electronic engineering.
หน่วยงาน : Nanyang Technological University, Singapore
ผู้ร่วมงาน : -
ปีพิมพ์ : 2557
อ้างอิง : Song, Y., Yu, H., & DinakarRao, S. M. P. (2014). Reachability-based robustness verification and optimization of SRAM dynamic stability under process variations. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 33(4), 585-598. , 0278-0070 , http://hdl.handle.net/10220/19254 , http://dx.doi.org/10.1109/TCAD.2014.2304704
ที่มา : -
ความเชี่ยวชาญ : -
ความสัมพันธ์ : IEEE transactions on computer-aided design of integrated circuits and systems
ขอบเขตของเนื้อหา : -
บทคัดย่อ/คำอธิบาย :

The dynamic stability margin of SRAM is largely suppressed at nanoscale due to not only dynamic noise but also process variation. This paper introduces an analog verification for SRAM dynamic stability under threshold-voltage variations. A zonotope-based reachability analysis by the backward Euler method is deployed for SRAM dynamic stability in state space with consideration of SRAM nonlinear dynamics. It can simultaneously consider multiple SRAM variation sources without multiple repeated computations. What is more, sensitivity analysis is developed for zonotope to optimize SRAM designs departing from unsafe regions by simultaneously tuning multiple SRAM device parameters. In addition, compared to the SRAM optimization by single-parameter small-signal sensitivity, the proposed method can converge faster with higher accuracy. As shown by numerical experiments, the proposed optimization method can achieve 600× speedup on average when compared to the repeated Monte Carlo simulations under the similar accuracy.

บรรณานุกรม :
Song, Yang , Yu, Hao , DinakarRao, Sai Manoj Pudukotai . (2557). Reachability-based robustness verification and optimization of SRAM dynamic stability under process variations.
    กรุงเทพมหานคร : Nanyang Technological University, Singapore.
Song, Yang , Yu, Hao , DinakarRao, Sai Manoj Pudukotai . 2557. "Reachability-based robustness verification and optimization of SRAM dynamic stability under process variations".
    กรุงเทพมหานคร : Nanyang Technological University, Singapore.
Song, Yang , Yu, Hao , DinakarRao, Sai Manoj Pudukotai . "Reachability-based robustness verification and optimization of SRAM dynamic stability under process variations."
    กรุงเทพมหานคร : Nanyang Technological University, Singapore, 2557. Print.
Song, Yang , Yu, Hao , DinakarRao, Sai Manoj Pudukotai . Reachability-based robustness verification and optimization of SRAM dynamic stability under process variations. กรุงเทพมหานคร : Nanyang Technological University, Singapore; 2557.