I have written some documentation for using audio-over-HDMI (and DisplayPort). It covers hopefully everything I've mentioned while providing support for this feature on these forums and elsewhere.
ftp://download.nvidia.com/XFree86/gp...dmi-audio.html