Sơ đồ vị trí lưu trữ tư liệu

Logic synthesis and verification algorithms / Gary Hachtel, Fabio Somenzi