AVI format is a container that can contain multiple different video codecs including DIVX, XVID, MPEG4, etc. Because of this, AVI is a generic term that doesn't specify exactly what codec the player needs.
So no, DVIX players are not AVI players. They will only play videos that have been encoded via the DIVX video codec.