This book provides a comprehensive overview of techniques for modeling, abstracting, and formalizing custom memories. It should benefit researchers and practitioners involved either in the design or in the validation of memory circuits. It explains different state-of-the-art transistor technologies used in memory design, and how the design technology affects verification.