This book describes the synthesis of logic functions using memories. It is useful to design field programmable gate arrays (FPGAs) that contain both small-scale memories called look-up tables (LUTs) and medium-scale memories called embedded memories. This is a valuable reference for both FPGA system designers and CAD tool developers concerned with logic synthesis for FPGAs.