More accurate abstract models for SRAM & PLL.