El decoder CoreAVC es de pago por lo que es IMPOSIBLE que este integrado en ningun reproductor. El core player es un reproductor normal y corriente como puede ser el bs player, el mpc o el kmplayer.
Para reproducir alta definicion, unicamente hay que instalar lo siguiente (en una instalación limpia):
CoreAVC Video decoder (para decodificar alta definicion por soft, mas concretamente los videos codificados en h264, AVC1)
Community Codec Packs (CCCP) Es un pack expresamente diseñado para tener lo minimo imprescindible y sin codecs innecesarios, también esta enfocado en la alta definición.
Instalando esto, y configurando el reproductor que utilizemos adecuadamente (recomiendo únicamente el kmplayer o el media player classic en su version homecinema) no deberíamos tener ningun problema para reproducir hd.
Eso si, para reproducir por software contenido en alta definición (hablando de 720p), como minimo un PIV a 3Ghz. Para 1080p, en muchos casos necesitaremos un micro mas potente.
P.D.: El VLC es uno de los menos indicados para reproducir hd, ya que no permite un control exhaustivo de codecs externos. En cualquier caso, es recomendable utilizar siempre los codecs internos del reproductor en caso de que este te de la opción, para conservar consumo de cpu, pero logicamente exceptuando cuando reproduzcamos contenido alta definicion en tal caso deberemos marcar un codec externo a usar, en este caso el coreavc.
Para mas info y resolución de cualquier duda:
www.antiscreeners.comSalu2.