The problem with a formal approach is we can only report "we have some code for this and it's supposed to work". No matter how hard you try, there are many components involved and even when two devices have the same PCI IDs, one may work and the other won't, for example because the display is wired differently on otherwise identical graphic cards.
This is what you can find in the "hardware info" pages on the development wiki, which miqlas linked already.
For a more definitive answer on exact hardware models, one has to resort to testing from the community. Besly has been collecting some data, and during GCI we got a test web interface running, so there is only a little work left to plug these two together, I guess. Would be great if anyone could handle this.