We present high-level library mapping, a technique that synthesizes a sourc
e memory module from a library of target memory modules. In this paper, we
define the problem of high-level library mapping for memories, identify and
solve the three subproblems associated with this task, and finally combine
these solutions into a suite of two memory mapping algorithms. Experimenta
l results on a number of memory-intensive designs demonstrate that our memo
ry mapping approach generates a wide variety of cost-effective designs, oft
en counter-intuitive ones, based on a user-given cost function, the target
library, and the mapping algorithm used.