Inferieren bedeutet ja, dass man einen allgemeinen VHDL-Befehl schreibt,
der auf verschiedener Hardware verschieden umgesetzt werden könnte, und
das Synthese Tool erkennt das und inferiert dann eben ein Element der
jeweiligen Zielhardware (so wie ein if CLK='1' and CLK'event ein FF
inferiert, obwohl das nicht direkt daraus hervorgeht).
Die Library jedoch ist eine Sammlung von Macros und Primitives, die
direkt verschiedene Elemente der Hardware repräsentieren - LUT's, FF's,
IOB's, BRAM's, und eben auch DCM's (beim Spartan heißt es DCM_SP). Diese
primitives kann man in VHDL-Code verwenden, das ist aber dann
hardwareabhängig und nennt sich Instantiation. So kann man ohne
DCM-Wizard direkt in VHDL-Code DCM's verwenden - aber es ist halt nicht
inferieren.
Der Hinweis auf eine Library im Zusammenhang mit Inferieren ist also
widersprüchlich.
Diese Library wird automatisch verwendet, wenn du mit der ISE ein
Projekt für einen bestimmten FPGA anlegst, du kannst die Primitives
sofort im VHDL-Code verwenden.
Im ISE Manual Index
(http://www.xilinx.com/itp/xilinx10/books/manuals.pdf) befinden sich
Links zu den Anleitungen der Libraries der einzelnen FPGA-Typen (dort
heißen sie Libraries Guide).